Update chat links
We're not using irc anymore (sometimes it's bridge, bridge often dies). We now have a public chat on a matrix server.
See !18 (merged)
We're not using irc anymore (sometimes it's bridge, bridge often dies). We now have a public chat on a matrix server.
See !18 (merged)