Hard numbers in the Wayland vs. X11 input latency discussion