Getting the total count during pagination is a very common requirement. Since JSON:API allows custom meta, we can probably use it to contain that information in the response. Also, there should be an option to opt-in for this feature to avoid a default performance hit.