What do y’all think? Does switching to Linux as an entire corporation mean RedHat? Or could it be done on a distro like Debian?