chiark / gitweb /
formatting: move code about to make more sense, and improve block comments, etc....