Oh they’re just making a general point.

My gf did ask me why there wasn’t an “exe” on my linux system though. But that’s another story.