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