What percentage of the population would know about Linux? 10%? 15%? Smaller? Either way, seemed notable hearing someone in public say “Linux emulator” at the cafe.