--> #1099974 While at it, I also opened an upstream bug for the current xrandr issue, https://bugs.freedesktop.org/show_bug.cgi?id=107099