Despite the name of your source, it seems to consider less than half of existing Mastodon servers. According to my own crawler, the up-to-date active user count is 540,258.