… but in the end, it doesn’t even matter! 🎶

Since it’s all Linux. Hopefully all these guys have great experience, and won’t leave the system. The more market share it has, the better for everyone.