No, all the domains in question were .io. The first few .io domains I registered, I used Gandi, then I thought I might switch to namecheap since they were, well, cheaper. Now, I think I'll stick to Gandi.