code: private String skipStyleTag(String text) {
      int start = text.indexOf("<style");  // Leave open as it has attributes.
      int end = text.indexOf("</style>");
      if (start == -1 && end == -1) {
        return spanningStyleTag ? "" : text;
      }
      if (start > -1 && end == -1) {
        spanningStyleTag = true;
        return text.substring(0, start);
      }
      if (start == -1 && end > -1) {
        spanningStyleTag = false;
        return text.substring(end + 8); // "</style>".length
      }
      return text.substring(0, start) + text.substring(end + 8);
    }
docs: Remove <style> tags and their content, as Quick Help displays them.