fix text insertion in WebIDL
v3.2.6
Merge branch 'develop' into gh-pages