What happened to the IRC channel? I went in today and it’s pretty much devoid of all life (it was #oppocah on freenode). Last my logs show was me getting kicked out for being a “newb” (?). Just curious if the channel still exists or if it’s moved somewhere else under new management.