working at a research institute, nobody set any restrictions for what os i install. there are guidelines, but only to make sure that people keep their os secure. i’m using fedora, my boss uses mint, a colleague uses macos. everyone is free (as long as it’s within a somewhat tight budget)