IRC/FreeNode: Changing times

https://docs.libp2p.io/discuss/

Seems like a few months back, everyone moved off FreeNode onto Libera.Chat. Though it may make more cents to link to Discord and Matrix instead.