Ben Sturmfels

Ben Sturmfels at

I'm pretty sure mine didn't work by default, but was able to get it going with arandr.

Also, silly mistake on my part, but the DisplayPort socket was particularly tight on my docking station and I didn't realise I wasn't pushing it all the way in.