chiark / gitweb /
docs: move into separate file