How to remove opengl-4-html-doc from Debian 9 (Stretch)