How to remove gnome-doc-utils from Debian 9 (Stretch)