# man zsh plugin prefixes a command with `man` by pressing F1 twice