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