O no encuentras nada o te encuentras cosas que no esperabas. He encontrado otro medio de modificar el registro de Windows sin Windows. La solución se llama PCRegedit y es un sistema basado en Linux que nos permite editar el registro de un Windows arrancando desde un Live CD de Linux. Y es gratis.
Por cierto, el registro de Windows en la parte más delicada e importante del sistema, un error en su edición puede dar al traste con todo. Manejadlo con cuidado. Eso sí, como dice el refrán: «De perdidos al río».
En su sitio web podéis encontrar más información y descargaros el ISO para crear el CD de inicio con la herramienta.
NOTA:
Desgraciadamente, esta aplicación ha dejado de estar disponible, o al menos su web aparece en un idioma asiático que desconozco cuál es: chino, coreano, japones…