doc/: Fix various unfortunate garblings.