The pain of transferring a domain from Gandi.net

Luckily, there was an easy fix via the domain registry.