Personally i’d pair the dock with a rockpro64 board which I think is the SBC version of the Pinebook Pro. It’s way more performant then a RasPi 4 but it’ll cost a bit more.
This may help your decision… i’ve been playing around with both Rasbian and Armbian this month and there’s zero competition. Rasbian (for the RasPi) is superb for ultra fast flash-n-go prototyping but falls apart as a general use desktop. It gets out of it’s comfort zone pretty quick when you start applying basic layers of OS security that are defaults on most distros and there’s a lot of quirkiness like out of the box WebRTC is broken on Firefox-ESR (before and after dist-upgrade) but Raspbian handles it fine and i’ve had no luck fixing the RasPi problem in Web searches. Probably because only crazy people use it as a desktop.
Armbian however has a more traditional setup but it’s a true general use desktop experience which i’ve loved so far, i’m even flirting with the idea of testing it out as my main. Armbian doesn’t support RasPi and Rasbian doesn’t support Pine64 products though so it’s worth factoring that into the decision.
The Pinebook has a ISO keyboard option but it’s a UK qwerty and I need a french azerty. I tried to work with a qwerty before and with the french accented letters it’s quite hard
I was thinking about the Pi because I have already one for LibreElec and I’m already thinking of trying stuff on it like Ubuntu
The more I think about the New Dock, the more I think a great smartphone running a linux would be ideal for me. Guess I’ll have to wait a little longer