zsh: formatted zsh options according to the man page