chiark / gitweb /
fixed up the section on reporting bugs