How to remove docbook-xsl-doc-html from Debian 9 (Stretch)