chiark / gitweb /
doc/: Fix various unfortunate garblings.