I would guess a large portion of those are devs who are running windows but deploying to linux servers. Think php or java - that is a common use case in those circles.