#PDP-10 moved to irc.libera.chat