Enhance parsing of HTML inside Web IDL definitions #17
Description
On KhronosGroup/WebGL#3140 the auto-generated pull request erased a few HTML annotations inside the Web IDL which is embedded in the WebGL spec.
It's not difficult to undo those, though it would be ideal if the auto-filing tool could be enhanced to preserve those.