@evan That would be a good term to retire, for sure. I tend to use "server", although I know it's still a technical term. Joinmastodon has standardized on that as well. Discord uses it incorrectly but has helped popularize it a bit with some demographics.