Merge pull request #808 from jdashg/fix-es3-ext

Fix WEBGL_compressed_texture_es3.
Fix URL typo.