Comment by pg

This is a feature of pretty narrow appeal, so I don't think I'd want to clutter the source with it. (I'm not listed because no admins are, but the others don't have enough karma for it to matter.)