How to (actually) choose a Linux distro