A bit off-topic, but do you have any knowledge of xserver configuration? If so, I’d appreciate your help over on the other thread. My manual config and the one generated via nixos are not that different, so I don’t expect it to be a lot of work to diagnose the issue.