I hadn’t tested that one because I thought it was only useful for the subfolder option.
Anyway, I installed it and it kind of worked…
– When I set https://www.OtherDomain.com as the primary domain for this site
* https://OtherDomain.com redirects to https://www.OtherDomain.com (OK)
* Permalinks work if used with https://www.OtherDomain.com (OK) but not if used with https://OtherDomain.com (???!!). Exemple: https://OtherDomain.com/whatever-here/ will redirect to MainDomain.com (this happens for existing as well as for non-existing pages)
Then I realized that this was having a conflict with the URL defined in the Network Admin page for this site, which was set to OtherDomain.com. Changing it to https://www.OtherDomain.com finally made it work.
Also, I think this might work if I point my OtherDomain.com to a folder in my server (still have to try this though).
So thanks a lot for your help. I posted the whole description so maybe this would be useful for others having the same/a similar problem. Seems like this turned out to be pretty obvious, but I guess sometimes you just don’t see the obvious answer until you ask the question ??