Cómo desinstalar monodoc-opentk-manual en Debian 9 (Stretch)