chiark / gitweb /
move a clarification into the correct file