Ben Sturmfels at 2018-05-02T10:18:40Z
I'm pretty sure mine didn't work by default, but was able to get it going with arandr.
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.