How to remove libsphinxbase-doc from Debian 9 (Stretch)