docs: public OffsetRange<CharOffset> offsets() {
      final CharOffset start = tokens.get(0).offsets().startInclusive();
      final CharOffset end = tokens.reverse().get(0).offsets().endInclusive();
      return OffsetRange.charOffsetRange(start.asInt(), end.asInt());
    }