Cannot set 4k resolution on HDMI monitor on Librem 15 v4

Lucky for you.

I’m not using a Purism computer or PureOS but I have gone backwards. (I’m using Ubuntu.) My permanently attached 4K UHD monitor used to work fine (worked fine out of the box from the day I connected it) but some change fairly recently has borked it - so now I have to mess with xrandr to set the resolution explicitly.