docs: private String _removeFirst(String string, String toRemove)
      {
          // do exactly what String.replaceFirst(toRemove, "") internally does,
          // except treating the search as literal text and not as regex
  
          return Pattern.compile(toRemove, Pattern.LITERAL).matcher(string).replaceFirst("");
      }