Fedora or Mint for noob? A friend might let me install Linux on his secondary laptop he uses for university. He’s not a tinkerer and wants something that just works....