Screenshot of the redesigned theme editor for Micro.blog going live now. It’s better in pretty much every way. Nicer folder and file list, brand new syntax highlighting editor with support for Hugo and HTML, and other improvements.