I was wrong about this extension, and it isn't even a GL extension to begin with, so revert all this.