chiark / gitweb /
Various cleanups and clarifications to devel.but; some from Richard