chiark / gitweb /
doc/: Sort out the manual structure. Write stuff.