One concern of mine is Linux support; I completely understand the business trade-off you’re making here, and I feel like I must be one of the few paying Linux users. But what I’ve been seeing the past few years that Linux became less and less “supported”. What’s your position on this? And how do you see this develop in the next few years?