For C720s, I like distroshare.com. It has a number of Linux distros that have been optimized for the C720. I'll actually be installing their distro of ElementaryOS on a C720 tonight for a kid in our CoderDojo group.