chiark / gitweb /
Couple of fixes to the new web-page mechanism.