And on Tumbleweed logged into Gnome so that xrandr showed "XWayland" didn't help detecting the external monitor.