for anyone who wants to go slightly bigger, i.e. about 10", there's chuwi minibook x, about 300$ as well. It's not pocketable, but it's just at the cutoff of the keyboard being actually usable. Runs linux well, though on less popular distros you need to do some fiddling.