retrorig-setup: manpage-has-bad-whatis-entry