Change doc-string comments to `new style' [w/`doc:' keyword]. Remove old commented-out-DEFUN that was used to fake out make-docfile.