But how would you capture the situation when people are using both linux and Mac ? I for example have a good mini PC which run Linux and a MBP. I use both depending on where I'm (I mostly work from home). I even have a windows machine dedicated to gaming (not that it matters here).