# HTML docs must not be compressed to be usable
addFilter("W: manpage-not-compressed.*.html")