Ask HN: What is the best Linux distro for a development laptop?