CMD_grep
{'/', "filter on command name (+ selects all commands)", false, CMD_grep},
case CMD_grep: /* grep command name */