[dmlittle]

I think the users started calling them “servers” and it stuck. Their API, and I’m guessing internal naming as well, calls them guilds[1]

[1] https://discord.com/developers/docs/resources/guild