I’m thinking maybe we should migrate to Google Groups at some point, because GG
is quite unlikely to go down, and even if it gets Reader’d, they will almost
certainly provide a data download. Groups also has a nicer UI than Mailman/The
List Archive.
> On Aug 14, 2015, at 6:17 PM, omd <[email protected]> wrote:
>
> On Fri, Aug 14, 2015 at 8:53 PM, omd <[email protected]> wrote:
>> scshunt mentioned once or twice on IRC recently that the yoyo backup
>> list is not functioning.
>
> Incidentally, while tue works, its archive page is execrably designed,
> and the mbox download link is broken (returns an empty file):
>
> http://listserver.tue.nl/mailman/private/agora/private
>
> Oh well - I was at least able to mass download the header-less
> versions just now.
