chiark / gitweb /
clarifications etc. from notes (formatting)