After some back-and-forth discussion the chosen name for this extension turned out to be WEBGL_compressed_texture_etc . See https://github.com/KhronosGroup/WebGL/pull/2047 .

Kai, could you please rename it and adjust the conformance tests and Chromium's extension tests and expectations?

Thanks.