Add total_rows in /rows response?
Should we add the number of rows in a split (eg. in field `total_rows`) in response to /rows?

It would help avoid sending a request to /size to get it.

It would also help fix a bad query.

eg: https://datasets-server.huggingface.co/rows?dataset=glue&config=ax&split=test&offset=50000&length=100 returns:

```json
{
  "features": [
    ...
  ],
  "rows": []
}

```

We would have to know the number of rows to fix it.
Add total_rows in /rows response?: Should we add the number of rows in a split (eg. in field `total_rows`) in response to /rows?

It would help avoid sending a request to /size to get it.

It would also help fix a bad query.

eg: https://datasets-server.huggingface.co/rows?dataset=glue&config=ax&split=test&offset=50000&length=100 returns:

```json
{
  "features": [
    ...
  ],
  "rows": []
}

```

We would have to know the number of rows to fix it.