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.