chiark / gitweb /
docs: rebase html documentation for online and local use