I've just ordered a Pixel 9a and am trading in my old 6a, which runs GrapheneOS. Do I need to revert to 6a to stock when I send it off for the trade in? My guess is no, because the valuation form only asks if it's in good condition and if the screen turns on. But has anybody done this? Thanks.