Add count on the Users in the new filtered navigation in **Admin Area > Users'

In the new filtered navigation introduced here !144907 (merged), we have lost the count of how many users of each type there are. Could we investigate how to include the count in the token only if there is no text filter?

Something like this Banned ⓫?

Before: