There is a “colored-man-pages” plugin for zsh, which I had turned on already, and promptly forgotten.

I was puzzled because my man pages are already colorized ;-)