chiark / gitweb /
formatting: reindent to 2 spaces, wrap lots of long lines; no intentional functional...