Tracking Mastodon user numbers over time with a bucket of tricks