Glitch Discord Server?

I tried to find a discord server for Glitch, but I found some other community called, they make games apparently. Do we have our own discord server? Searching for “glitch” didn’t work when I go to the “Join a Server” section” in the attached screenshot. A couple of my friends have seen this too and they work on discord bots. Maybe there’s some sort of confusion?