addFilter(".* no-manual-page-for-binary")
addFilter(".* gzipped-svg-icon")
