progress-linux: manpage-has-bad-whatis-entry usr/share/man/man7/progress-linux.7.gz