Portal talk:The Portal Discord Servers

Today, Eric Weinstein referred to the Portal Community discord server as the "Anti-Portal Community Server." With Eric himself opposing the principles of this server, it is correct to remove it from the wiki.