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