Make WebGL extension names independent of internal names
Protect active WebGL extensions from garbage collection