<div dir="ltr">As you may have seen, Freenode has been going through some stuff recently. Most of the staff has resigned and started a new IRC network, "libera.chat".<div><br></div><div>Without getting into the issues, do we want to set up a <a href="http://sandiego.pm" target="_blank">sandiego.pm</a> channel on libera.chat? (I note that the <a href="http://sandiego.pm">sandiego.pm</a> channel on freenode has been inactive lately.)</div></div>