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