I've added it to my AGENTS.md for Antigravity too.