This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The specification refers to HTML5 a couple of times. An informative reference would be appropriate. (Also, appendix C "Changes" uses "HTML 5", while all other references use "HTML5", without the space.)
Done: http://dev.w3.org/cvsweb/2006/webapi/WebIDL/Overview.html.diff?r1=1.354;r2=1.355;f=h Please let me know if the resolution is satisfactory.
Satisfactory.