Comment by dnsiz

That seems unnecessarily pedantic. Someone who cares whether the servers are open or not knows perfectly well that a Discord server is not a server per se.