Manpages of opengl-4-man-doc in Debian unstable