Update cmd_help.h.  Tweak interactive-help.md.