А доля Linux снова приближается к 4%.