2 ms·

I suspect that users of tiling window managers are already quite a long way along the axis that Gnome appears to be moving along.