Re: [PATCH] opengl32: Update OpenGL Registry files URLs.