docs: private final void error(String message, CharSequence identifier) {
      if (badHtmlHandler != Handler.DO_NOTHING) {   // Avoid string append.
        badHtmlHandler.handle(message + " : " + identifier);
      }
    }