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