As a casual Linux user, what are the big benefits of Wayland or Mir? Does it add anything a regular user would care about? The youtube demos look extremely...