Checkdoc: Dozens of documentation fixes.