To put this in perspective, it fell by 0.48%

Windows 10 grew by 0.89%

Linux actually dropped by 0.26% in that same period.

Not that I’d be too concerned about any of that, because that’s all data from reported OS in website visits, so all those are well within the margin of error.