- handle-help-options cmd argsprocedure
Look for help options in the given args. If a help option is found, call show-command-help for command cmd with 0 as exit code.
If commands are defined with handle-help?: #t, this procedure will be automatically called by commands.