chiark / gitweb /
Make it pass W3C validator: add DTD, work around crazy javascript escaping, etc