HTML is located in:

• webvbt/src/HTML.m3
• cm3ide/src/misc/HTML.m3