chiark / gitweb /
docs: update some docs and delete outdated stuff