Hi Mark, Mario, others,
Today I finished a script to stitch the histories of the various mailing lists back together (yay!). However, I'm running into an issue:
Mailman's HTML archive generator doesn't want to regenerate the archives for any archive that doesn't have an active mailing list associated (why?! Ugh!).
So, I'll be experimenting later to see if I can create an active mailing list while regenerating the archive and deleting the mailing list thereafter again. If anybody feels like major Python hacking to hack the HTML archive generator to use the mailing list default settings if there's no active mailing list, that'd be perfect. (We don't use anything but the defaults...)
So, good news, but unfortunately, bad news too.
@Mark: some mail to armedbear-devel hasn't been archived between june 2014 and februari 2015. If you could find those mails (preferrably by downloading them in their original text form, by downloading POP3 or IMAP content), now would be an extremely good time, because it'll be easy to stich that content with the rest right now.