Yep. And I'm using those Tunderbolt ports for my daily work, but . (And, you know, it's nice that you can drive a large amount of screens with the ports, but I

Yep. And I'm using those Tunderbolt ports for my daily work, but . (And, you know, it's nice that you can drive a large amount of screens with the ports, but I was specifically referring to the HDMI implementation) And digging into the specs of the RBpi4, it seems the HDMI port actually does support 4kp60, which makes this whole thing even funnier :)