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

It’s definitely possible (according to the specs https://puri.sm/products/librem-15/#specs)

External monitor output 	1 HDMI Port (4K capable @30Hz max)

But I’ve exhausted the options in the GNOME Wayland configurator thing. I might try with an X11-based Linux distribution.