On Wed, May 16, 2018 at 8:58 PM, pikami <tor at pikami.org> wrote: > Hello, > What IRC server is this on? > irc.oftc.net, where the other channels of the Tor project also reside.