Other people use many different mastodon servers but all bluesky users use bluesky