This website is now statically built in place using Jinja2 templates and markdown. Tidy is an optional dependency which makes the markup more standardized. Since index.html is now a build artifact, it is .gitignored.