In other words, we’re getting a Google Pixel Mini. Maybe. Obviously, this is a rumour. And given that Google is – to put it mildly – prone to flights of fancy, and probably has countless prototypes ...