Misleading title. A 12.5" laptop is pretty normal these days. The One Mix Yoga 2S, the spiritual successor of the Vaio P, the first ever 7" laptop with a proper CPU (=Intel Core instead of Atom) and proper storage (= SSD instead of eMMC and then NVMe at that). I am in love with that thing.
It's still tiny for a laptop, even if a credit card sized laptop based on a rpi would exist. A normal size is 15.6, large is above that and small is below. You can't properly work on a screen smaller than 14" or so, and I'm sure there'll be lots of people that tell me they work on this in the train every day just fine (the logic being "when challenged, we can find many people on HN that are fine squinting at a 7 inch…
Citation needed. A normal size is 14" from where I sit, that's what most ThinkPad T series laptops had been for a very very long time. Yes there is a T5x0 series but the T4x0 always had more variants and the Anniversary Edition 25 is also 14". Also, a 14" laptop is small enough to fit across a carry on, a 15" can't do that.