This is awesome. Since most the people I know who have Pixels bought them specifically to run Graphene, I hadn't heard of this of the same thing that happened a few months back!

I'm going to make an extra donation to GrapheneOS right now. Normally I only donate when I buy a new phone, but avoiding this is something I'd like them to know we (the users) appreciate.