@Gargron almost had to do that myself. The Mastodon app didn't find this server first try. Frustrating.