[00:55] <jellyf> the last time the topic was set on this channel was 2013?
[00:55] <jellyf> Hmm.
[01:02] <jellyf> Honestly, from what I can piece together, something happened in 2013. The mailing lists stopped then too.