That's not a rename, though, Antigravity is a new product.

Google is kinda famous for killing a product and replacing it with a worse one, though, so not very surprising.

I should have said replace.