Trying to send a PR with an update to the providers list

I have the change added for the service (Mailo) but wanted to check on how the domain parameter works - is it possible to specify multiple domains here? This provider allows use of a bunch of domains that they own (e.g. mailo.com, net-c.fr, etc.). Is it possible to specify something like a comma-delimited list in the domains parameter in the edit to app/autodiscovery/providersxml/src/main/res/xml/providers.xml?

Looking in app/autodiscovery/providersxml/src/main/java/com/fsck/k9/autodiscovery/providersxml/ProvidersXmlDiscovery.kt it seems that the match is strict, i.e. there appears to be no possibility of using a regex or comma-delimited list as the value for domain. Is this correct?