[Bug 7280] regedit: renaming a key does not work (sometimes)