Juer...no te habia visto que seguías la lección, hasta ahora. Debíamos publicar al mismo tiempo.
Si al generar el default.hv te da error...se genera igualmente, pero es defectuoso. Hay que borrarlo y volver editar boot.rgu y corregir el error.
Como ya había comentado anteriormente, es un rollito, pero una vez lo has hecho una vez, dos, tres,... ya lo haces como un robot. jajja.
De todas formas, a partir de ahora, siempre trabajaremos con los boot.rgu (tanto del default como del user). Si quereis un consejo: guardar copia del los boot.rgu anteriores, vamos de los que funcionan, por si es necesario recuperarlo. Una forma fácil es renombrar las distintas versiones a boot_1.rgu, 2, 3, ...
Salu2