> as you may have noticed, #ghc IRC logging has been broken for months
> (though the channel topic still says "Logs: http://ircbrowse.net/ghc").
I am very much in favor of doing something about this. Unfortunately,
Chris Done stepped back from ircbrowse.net around the time that #ghc
started using it for logging. Moving to a third-party service like
botbot.me sounds quite reasonable to m.e