> Slightly OT, but what version of the HHKB is that? I've never seen one with that layout (the JIS version has arrow keys but it's quite different...)
HHKB Lite 2 (Model No: KUH0010).
> Edit: also, be aware that the Apple USB-C to TB2 adapter doesn't support DisplayPort!
Thanks for the heads up on that.
Edit: also, be aware that the Apple USB-C to TB2 adapter doesn't support DisplayPort! So you'll need a different cable for your monitor - or, better, a dock where to plug everything in.