I don’t know if this is the right subreddit for this type of question, I apologize if it’s not. But I’m wondering which operating system dominates more in the server market. Thanks.