hello friends,
i just noticed that archiving to https://lists.tildeverse.org has been
broken for quite some time. the current ipv6 address of tilde.team was
not added to the archiver's whitelist.
it's all updated now and the missing mails have been processed.
sorry for the inconvenience!
~ben
