They used IRC but they switched because IRC is just too inconvenient. Discord is proprietary, but it works really well for them. They chose to be pragmatic.
There are tools which are much more user-friendly than IRC (and even Discord, in some aspects), such as Matrix or Zulip. They easily enough could’ve been more pragmatic picking those instead.