Finalmente atualizado o site.  Agora administrado via
mamboserver, o que torna a manutenção muito mais fácil e com aparência de blog.  Falta ainda incluir os ítens antigos, mas isso é questão de tempo.


script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js">