chiark / gitweb /
Removed the extra comments from #632