I have got a notice that Planet Computers sent me the rest of my
Indiegogo order for the Gemini PDA (a thing that looks like PSION 5 but
that is an Android computer). So I am looking forward to receive the
Connectivity Pack which includes an USB-C hub and (probably more
importantly) their special HDMI cable.
The Gemini is (after demise of the GPD pocket) is my only "modern"
portable computer with relatively large integrated keyboard.