How to pick a new Linux distribution