docs: public static String escape(char c) {
  		final StringBuilder builder = new StringBuilder();
  		if (RE_KEYS.contains(c)) {
  			builder.append('\\');
  		}
  		builder.append(c);
  		return builder.toString();
  	}