docs: public String convertHTML(
          String filename,
          String inString,
          String startPattern,
          String endPattern,
          Hashtable properties) {
  
          m_tempString = new StringBuffer();
          m_write = true;
          m_filename = filename.replace('\\', '/');
          Reader in = new StringReader(inString);
          Writer out = new StringWriter();
          convertHTML(in, out, startPattern, endPattern, properties);
          return out.toString();
      }