Yeah, but developers probably already know what is Linux, either from them learning about it at school or just by other developers
But developers probably already know something about their os, they don’t just use what they get on a computer or a laptop, most of us probably messed with some deep settings of whatever system we use, i. e. something that a regular user won’t do
I switched a few weeks ago, it was because my computer is slower than a toaster and windows was tanking it down even more I installed xubuntu, well I must say it’s ok, after I finished setting stuff up I realised I should’ve just gone for debian with xfce (I tried to install kubuntu-deskop on my xubuntu installation just to try how would kde run on my pc, it ran as well as windows did, but was just a tiny tiny bit faster, the way I installed it was probably bad and it could’ve been the way I installed it tho)
And yeah, I definitely love tinkering with stuff so this wasthe obvious choice