I tried that, and then on my server the list name becomes
[email protected].
I could live with that but then the Plesk-generated "Manage list URL" https://lists.lists.domain.com/mailman3/postorius/lists/<list email address> which I can't secure. My wildcard certificate can only secure...