Hallo Klaus,
hatte ich bei Windows 10 unter 7.1 auch schon so. Windows kann zwischen Groß/Kleinschreibung eigentlich nicht unterscheiden. Der Registry-Patch schafft es dagegen eine Dublette der Einträge mit anderer Schreibweise zu erzeugen.
Beste Grüße, Tom