HTML is located in:

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