[fragmede]

> ultra-small laptop (typically 12--13")

Gpd makes smaller machines than that.

https://gpdstore.net/gpd-pocket-4/

[dredmorbius]

Thanks!

This is a 9" (well, 8.8") device (display).

Though it looks as if there starts to be a price premium. I'll grant that the specs are impressive.