But it's still a great Linux OS for gaming ...