AlexClement

In theory, then, how should I configure the new domain?

The part on WordPress’ side I can get to work (I think), did so on another website, but never tried configuring an alias or forwarder to work in this way…