Just as ChatGPT is now called "Chat" by the kids (go ahead and finish grinding your teeth, I'll wait...), if Antigravity takes off then it'll get an irksome nickname like Antigrav or just Grav.