> I switch to the binary nvidia driver and the video was fine (not double- > speed) without any other changes. So the problem appears to be unique to > the nouveau driver. So... why not just use the official binary drivers as has alway been recommended?