[website] move IRC to Libera.chat

Summary:
Freenode.net has changed ownership and many communities are moving to
Libera.chat as a result.

Reviewed By: ngorogiannis

Differential Revision: D28708298

fbshipit-source-id: 4395adc55

website/docs/support.md

@@ -26,7 +26,7 @@ Keep up to date with the latest Infer news on our
 
 ### IRC
 
-Our IRC channel is [#infer](irc://chat.freenode.net/infer) on Freenode.net.
+Our IRC channel is [`#infer`](irc://irc.libera.chat/infer) on [Libera Chat](https://libera.chat/).
 
 ## Troubleshooting
 

website/versioned_docs/version-1.0.0/support.md

@@ -26,7 +26,7 @@ Keep up to date with the latest Infer news on our
 
 ### IRC
 
-Our IRC channel is [#infer](irc://chat.freenode.net/infer) on Freenode.net.
+Our IRC channel is [`#infer`](irc://irc.libera.chat/infer) on [Libera Chat](https://libera.chat/).
 
 ## Troubleshooting
 

website/versioned_docs/version-1.1.0/support.md

@@ -26,7 +26,7 @@ Keep up to date with the latest Infer news on our
 
 ### IRC
 
-Our IRC channel is [#infer](irc://chat.freenode.net/infer) on Freenode.net.
+Our IRC channel is [`#infer`](irc://irc.libera.chat/infer) on [Libera Chat](https://libera.chat/).
 
 ## Troubleshooting