Correct. However with ActivityPub protocol those number are irrevalent : any increase of users from (Lemmy, Mbin, Piefed) will benefit Lemmy, Mbin, Piefed.

And to a certain extend, on Mbin and later Piefed, they will also reach microblogging plateform as iceshrimp and mastodon. Then pixelfed, peertube, loops…