What’s a Linux Distro and How Are They Different?