chiark / gitweb /
General cleanups patch from James H: