🍵️

2022-01-19

Fixes to gmi2html

Now that I'm using this as a lib I've discovered some weird and counterintuitive design choices that didn't work well in that context.

The tool still works the same on the command line, of course.

-- CC0 Björn Wärmedal