Speculated that this might have something to do with the fact that I was using the proprietary nvidia driver. Nope: switching back to the nv driver had no effect.
Speculated that this might have something to do with the fact that I was using the proprietary nvidia driver. Nope: switching back to the nv driver had no effect.