chiark / gitweb /
Escape dashes that really do need to be minus signs. As previously