Zsh: fast man pages with colors