Actually a bit surprising. I'd think emulator nerds would be using Linux at significantly higher rates than normal and I think 10% is the latest (optimistic) general adoption rate.