Después de mucho buscarla, por fín la hallé.
La deseada clave del registro es
HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Internet Explorer\View Source Editor\Editor Name
Simplemente hay que poner como valor predeterminado la ruta completa del ejecutable que queramos utilizar.
CrossPosted from http://www.avabloggers.com/blogs/cristhianf
