[PATCH v3 9/9] opengl32: Add more extension aliases manually.