Not really, that was a fluke, still below 10%, although getting closer with 7.53%.

https://gs.statcounter.com/os-market-share/desktop/worldwide

Both numbers are big, no? Especially given the complete dominance of linux in many other settings.

Yeah, if we ignore Windows 70%, and Mac's 20% of desktop share.

I think it is pretty impressive if you consider ChromeOS, with all of Google's resources behind it, is at 1.47%.