Usually I keep everything on Debian, but I’ve been thinking in making some changes, like running mint on my kids laptops. My rock64 is running armbian, due some problems with latest Debian on it and DietPi on an rpi3. Oh yeah, an rpi4 is running has, due to my absolutely laziness 😂