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