I should also add: it's easy to see that issue #7 is a widespread problem: do a google search for the phrase "xrandr: cannot find crtc for output" and you'll see that you get a lot of hits, even if you limit the search to within the last year.
I should also add: it's easy to see that issue #7 is a widespread problem: do a google search for the phrase "xrandr: cannot find crtc for output" and you'll see that you get a lot of hits, even if you limit the search to within the last year.