A thing that is taking a surprising amount of effort is mailman,
[...]
None have received any traffic of consequence since 2019,
[...]
It would be *significantly* easier for me to just turn the whole
thing off, leaving read-only archives.
My two cents FWIW is to leave the main Google email list running, but to turn off Mailman and make the archives available for posterity as you mention. No sense in continuing this extra complex unused thing exactly when you are trying to organize and document how to maintain the infrastructure.
(By the way, I wanted to say thank you for closing the Vlasisku whitespace issue.)
mi'e .maik.
mu'o