Mainly involved fixing a great many docproc warnings, by filling in
missing documentation in the source code.