That is indeed a registry key. You can edit the registry with regedit.
start > run > regedit

But be carfull not to delete the wrong thing!

Create a backup from the registry first, before changing anything there.
start > run > regedit > click on “my computer” there > file > export
It can take several minutes before the backup is created.