> Would it help if we moved this to some other infrastructure?
If someone else would like to maintain it then sure. Karsten originally ran it, then I took it over when he shut down his r2e instance since I already run one for my news feeds anyway. _______________________________________________ tor-dev mailing list tor-dev@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev
