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