Late to the party, but I didn't realize Gandi.net was acquired by another company this year.

https://domainnamewire.com/2023/03/02/total-web-solutions-acquires-domain-registrar-gandi-forming-new-entity/