chiark / gitweb /
prettify the code a bit