chiark / gitweb /
cleanup: Fix extraneous whitespace throughout.