Thankyou, @Richard18. Having chatted with their support today, they recommended to manually copy the desired DNS entries from the DNS settings page in Plesk (for the domain in question) to the appropriate DNS settings page of the IONOS customer backend. This works for me, though as well as being...