Possible to Rename Realm?

When setting up privacyIDEA, we unfortunately did not think to match the realm name to our domain name. Is it possible to rename the realm?

If I’m unable to rename the realm, I did find a workaround using the mangle setting of the authentication policy.