https://sdbillin.com/picking-the-right-gnulinux-distro/