cPanel Mailman Migration?

I didn’t realize Virtualmin doesn’t migrate Mailman mailing lists when importing from cPanel. I see there is an optional virtualmin-mailman module, but has anyone ever written out the procedure for migrating previously cPanel managed Mailman lists to it? I was wondering if there was some way to efficiently do that…

(The accounts are already moved over. The lists have just quit functioning and when I went to investigate Virtualmin’s mailman settings, I discovered the module wasn’t installed at all.)

SYSTEM INFORMATION
OS type and version Debian 12
Webmin version 2.202
Virtualmin version 7.20.2
Webserver version NGINX 1.18.0/Apache 2.4.52
Related packages DCC, Pyzor, Razor, OpenDMARC, OpenDKIM

Have you seen this recent discussion