I have Fedora in my principal PC. I need a light distro. I'm thinking about Mint with xfce or MX Linux