Added new versions of (temporarily deleted) proof-checker command HELP, and also new DOC proof-checker command.  Thanks to David Rager for a request leading to these enhancements.