I'm selling my Pixel 7 Pro, which has been running GrapheneOS for almost a year. I recently followed the "Side of Burritos" tutorial to revert to the stock OS. Everything went smoothly until the last step, where I realized that you need to remove the non-stock key before locking the bootloader, which wasn't mentioned earlier in the tutorial.
Unfortunately, at that point, the GrapheneOS web installer failed to recognize my Pixel when connected via the Android Flash Tool. Despite this, my Pixel successfully booted with stock Android, and I confirmed its functionality by adding my card to Google Wallet.
My question is whether there has been an update to the Android Flash Tool that automatically removes the non-stock key, or if there is something I need to address before selling my device. Any insights would be appreciated.