Well, whatever that glitch was, it cleared after a reboot.
Michael Paoli wrote:
And testing again after various cleanup. Seems to mostly be working ... except authentication from serial console is failing, but works via ssh. Anyway, nothing mailman3 related, anyway.