She wants to flash the original OS before she trades up to a 7 Pro.
You were faster.
When I try to "Remove stock key" from that link, I see a popup saying "No compatible devices are available." My Pixel 7 is connected to my laptop via USB. I get the same error in Firefox and Chrome.