can he stay there?

Most people will recommend Linux Mint. I’d like to recommend Fedora. Fast, reliable, looks good (especially the KDE plasma version) and stays out of your way when you do things. I’ve been using linux as a daily driver for the past 8 months and Fedora has become something I’m so used to, that I really can’t see changing at all.