@rjcc @Mastodon looks like mastodon dot social is the default, per the app. Seeing some suggest the app should display several popular servers at random (per concerns about staying decentralized). Though mastodon dot social is the top search result in Google when searching "Mastodon" (well, after the rock group that had the name "Mastodon" first...).