I’m now trying out using Jekyll to generate these pages, since it produces nice static pages and I can use git for version control. So far it seems to be working fine.