[PRQ#81936] Deletion Request for antigravity-manager-bin

FrancoStino [1] filed a deletion request for antigravity-manager-bin [2]: Hi, I'd like to delete this package because it's deprecated and no longer maintained. Thanks! [1] https://aur.archlinux.org/account/FrancoStino/ [2] https://aur.archlinux.org/pkgbase/antigravity-manager-bin/