How to remove live-manual-html from Debian 9 (Stretch)