Comment by Eji1700

I just responded above, but you might want to look at the GPD Pocket 4.

It is NOT cheap ($1300 min spec) but it's also quite a bit more powerful and with better ports (full size HDMI and Ethernet). It's not for everyone, but it blows my mind how little competition it has given how useful its been for me over the years.