[ColinWielga]

Quick poll: https://linkto.run/p/NGWCZJO1

[fortran77]

And your poll is showing most people here run Windows.

[JMTQp8lwXL]

Currently the poll is 56%. It's barely a majority. My original commenting, say "many" don't use Windows, seems quite reasonable. Granted, this poll shouldn't be considered authoritative.

[fortran77]

The rest is split between two other operating systems.

It's OK to admit you're wrong, you know.