Lots of people have discord, and irc is accessible from literally any Web platform, including mobile. I don't think it's really necessary to have an official discord on top of an official IRC, and I doubt people would ever use the IRC anymore if they set up a discord that really isn't needed outside of minor inconveniences for a select few people.