HTML is located in:

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