chiark / gitweb /
more consistent language use in docs