chiark / gitweb /
normalize SGML elements which were <foo/.../ to <foo>...</foo>;