docs: public String getPositionInfo() {
          final int showStart = Math.max(0, position - SHOW_BEFORE);
          final int showEnd = Math.min(string.length(), position + SHOW_AFTER);
          return "before: \"" + JSONUtils.escapeJSONString(string.substring(showStart, position)) + "\"; after: \""
                  + JSONUtils.escapeJSONString(string.substring(position, showEnd)) + "\"; position: " + position
                  + "; token: \"" + token + "\"";
      }