Indeed larger than I originally thought it would be, but mini enough I'd say. It is just slightly larger than the iPhone5, which I consider to have the perfect size for me (see picture below, right of the iPhone5). Enough difference for carrying it in your jeans (front pocket).
Mini is not only the size, but the pricing, for those who don't need the fastest CPU. I am not going to play games and watch films with it, but do mobile Internet, navigation/gmaps, taking photos, texting (am sick of texting with a number pad) and occasionally doing phone calls.
Mid range is the key word for me and medium sized, though I did not want to buy one of those old and outdated, old OS version devices, while the current ones are too large and expensive. The mini's from HTC and Samsung are pretty much what I've been waiting for and I prefer it not to be a Samsung (or iPhone, I like underdogs, also using Opera browser
Only drawback of the HTC is no micro SD slot.