eero, chris: michel informs me that this is a known bug in xserver-xorg-core 1.19.0 and that upgrading to at least 1.19.1 or above fixes the problem. i'll need to wait until another unscheduled reboot but will keep you informed, and will try out DRI2 as well as DRI3. l.