Here's what ought to show up when you type "man man." ("grotty" is a driver for the groff text formatting system that adjusts output properly for "typewriter-like devices," which, oddly, includes Terminal.app)