It's odd to complain about discord "tarnishing" the word server, when discord, for the longest time (starting from the beginning), called them guilds. It's only due to users calling them servers, because that's the colloquial term, that led to the change in user facing messaging. They're still called guilds in the docs.