How to remove monodoc-poppler-manual from Debian 9 (Stretch)