zsh: enable colored-man plugin