How to remove libjs-sphinxdoc from Debian 9 (Stretch)