chiark / gitweb /
Miscellanous tidying and security fixes. Lots of thanks due to Clive