chiark / gitweb /
Various bug fixes: understand requests for help properly, and fix the