Hola de nuevo.
Descarté la opción que SyntaxHighlighter que recomendó Casimiro porque supondría modificar el código de la plantilla de Blogger. También instalé por primera vez el famoso GExperts, pero la exportación HTML que hace no incluye los colores como parte del HTML, ya que requiere el manejo de hojas de estilo CSS por separado (supone también modificar el código de la plantilla de Blogger).
Así que me las arreglé para seguir usando
Quick Highlighter. El valor que le doy a esta herramienta reside en su opción
Combine Style and HTML Code (
your source code will contain all the styling code instead of a separate CSS style section). De esa manera el HTML lleva contenido y formato en el mismo bloque (a la "antigua").
El problema de sangrado lo he resuelto agregando manualmente los " " que faltan. Es un problema menor comparado con el
vía crucis de intentar encontrar algo para convertir,
fielmente, un trozo de código a HTML. En cuanto a los comentarios que en apariencia borraba ("//..."), resulta que más bien es un problema del que diseñó la página de Quick Highlighter (cuestión de presentación en el navegador, no del funcionamiento del convertidor).
De momento habrá que seguir retocando el HTML de las nuevas entradas, a falta de una tecnología más "humana".
Gracias a todos.
Al.