BTW, works like a charm. For some unknown reason, contrary to what I've done the last x years, I did not need to enable any of the syncrefresh/waitvsync/refreshspeed options, in order to get a perfectly smooth and tear-free display (Intel HD 5000). No xorg.conf tweak either, and same result from Gnome 3 and from a "blank" xsession.