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