I'm aware of Linux Mint, but I always dismissed it because of Cinnamon without giving it much thought. Looks like KDE can be shoehorned in without much trouble.