Oh, that makes sense, thank you. I’m really happy with mint. Pretty sure switching to the nightly repos got me most of what I need, for the rest there’s PPAs. Rolling release sounds tempting sometimes, trying out Plasma on a distro that supports it is also tempting, but so far I can’t be bothered. Mint seems to just work. :D