3 ms·Possibly a pandoc generated html from markdown. My favorite way of doing things.by Iv 5y agoPossibly a pandoc generated html from markdown. My favorite way of doing things.