How to remove python-sphinx-rtd-theme from Debian 9 (Stretch)