# html2man doesn't include NAME (see also: #379913)
manpage-has-bad-whatis-entry *

# html2man deficiency
manpage-has-errors-from-man *

