[PRQ#81902] Deletion Request for antigravity-ide

[notify]

domschl [1] filed a deletion request for antigravity-ide [2]:

Downloads package from some dodgy third-party website!

[1] https://aur.archlinux.org/account/domschl/
[2] https://aur.archlinux.org/pkgbase/antigravity-ide/