chiark / gitweb /
Code cleanups: