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

I’ve tried that again, set the refresh rate to 30Hz, even tried to reboot the laptop, but no resolution larger than 1920×1080 appears in the dropdown menu, unfortunately ! :cry:

Does anyone know a low level command-line tool (akin to xrandr) for Wayland? Or where I can find logging related to monitor information, GPU configuration?