docs: public static String quote(String s) {
          int slashEIndex = s.indexOf("\\E");
          if (slashEIndex == -1)
              return "\\Q" + s + "\\E";
  
          StringBuilder sb = new StringBuilder(s.length() * 2);
          sb.append("\\Q");
          int current = 0;
          while ((slashEIndex = s.indexOf("\\E", current)) != -1) {
              sb.append(s.substring(current, slashEIndex));
              current = slashEIndex + 2;
              sb.append("\\E\\\\E\\Q");
          }
          sb.append(s.substring(current, s.length()));
          sb.append("\\E");
          return sb.toString();
      }