replace HTMLText with SubSupText, so that we use less memory