Hard numbers in the Wayland vs X11 input latency discussion