I would change
"This extension exposes the compressed texture format defined in the KHR_texture_compression_astc_hdr OpenGL ES extension LDR profile to WebGL.”
to the more standard
“This extension exposes the KHR_texture_compression_astc_ldr functionality to WebGL.”
as that is the name string of the KHR extension this is mirroring. i.e just use the standard <mirrors> tag in the xml.
We should do an HDR extension as well.
Description: Message signed with OpenPGP using GPGMail