chiark / gitweb /
More notes, more fun, yay!