PUBLISHED_FROM=f45e06aeba1c00212078d539b6f74cb8bd054326

On my way, fixed a couple of cases where we had `()` in the header, and
non-empty argument list in the source file.

PUBLISHED_FROM=5519526cf84e2bbd425a726fcc112fea1a95cbf1

Use templated index page and SSI calls instead of hard-coded html

PUBLISHED_FROM=eade9dfe283952ed5465cd0ff1924f61a14dea0c

PUBLISHED_FROM=243437cf7d48b04aef3896bc4c5d4010975299a4