Good that I saw this.

The VSCode Antigravity extension I was using turns out to be a 3rd-party one. I found out only today that there's an official extension too, which I think wasn't there earlier.

Yeah they had gemini extensions, they depreciated them and forked vscode, now they are crawling back to vscode with antigravity extensions...