I don't think that necessarily carries over. For the most part, all the Linux users I know contribute more simply because they want to encourage other develope

I don't think that necessarily carries over. For the most part, all the Linux users I know contribute more simply because they want to encourage other developers to create games for Linux. It's a point of price, they can point at, and say "Hey, Linux users spent more then Windows or Mac users."