chiark / gitweb /
doc: choose different words to improve clarity