Here's a patch that implements my suggestion. It should be suitable for forwarding to Debian (and I'd appreciate it if you could do so), although it's not upstreamable as yet because it relies on a new enough version of man-db which is far from the only man implementation out there.
Here's a patch that implements my suggestion. It should be suitable for forwarding to Debian (and I'd appreciate it if you could do so), although it's not upstreamable as yet because it relies on a new enough version of man-db which is far from the only man implementation out there.