chiark / gitweb /
Split out README.files; docs improvements; tidy up a leftover file