FYI the #toybox irc channel moved because https://lwn.net/Articles/856543/ and https://boingboing.net/2021/05/19/freenode-irc-staff-quit-after-new-owner-seizes-control.html *shrug* Sort of an ethereal->wireshark thing. I updated the nav bar on the website and the /topic in the old channel. Rob