https://jadi.net/2016/03/choosing-server-gnu-linux-distro/