chiark / gitweb /
more notes to myself, many probably obsolete