add libGL.html from dri.freedesktop.org/wiki/libGL/