2019-10-12 Website generator

This website is generated from a single huge markdown file, with a custom script.

The script splits the file into articles, based headings starting with #.

If the article starts with lines that includes colons, these lines are mapped into metadata, which is used for semantic markup.