I guess that's ok for wined3d's purposes. We don't use either extension right
now, and if we ever use one of them we'll probably go with the ARB one anyway.