I'd heard rumors about a Pixel Mini in 2023. Was holding out hope for a surprise drop at the Pixel event today, but with how leaky Google hardware development is, I should have known better.