chiark / gitweb /
general: various cleanups