Manjaro, which was another mistake. I'm going to move him to Pop!_OS when I see him over the holidays and hopefully be done with this. He's very competent, but there are small issues with these distros that need extra care that I think should not require so much effort. Pop should be fine.