Fix many (but not all) checkdoc complaints.