I know, but that's how upstream calls it, "desktop OpenGL", as opposed to "OpenGL ES2".