docs: static String[] splitNumericAndChar(String input){
          // ATTN: String.trim() may not trim all UTF-8 whitespace characters properly.
          // The original implementation used its own unicodeTrim() method that I decided not to include until the need
          // arises. For more information, see:
          // https://github.com/typesafehub/config/blob/v1.3.0/config/src/main/java/com/typesafe/config/impl/ConfigImplUtil.java#L118-L164
  
          int i = input.length() - 1;
          while (i >= 0) {
              char c = input.charAt(i);
              if (!Character.isLetter(c))
                  break;
              i -= 1;
          }
          return new String[]{input.substring(0,i+1).trim(), input.substring(i + 1).trim()};
      }