chiark / gitweb /
jarrg docs: switching away soon is ok