@xarvos Go figure. Mastodon.social.

I don't think mastodon.social is needed for onboarding, though.