chiark / gitweb /
Various minor cleanups.