docs: private void skipToEndOfLine() throws IOException {
      while (pos < limit || fillBuffer(1)) {
        char c = buffer[pos++];
        if (c == '\n') {
          lineNumber++;
          lineStart = pos;
          break;
        } else if (c == '\r') {
          break;
        }
      }
    }