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