3 ms·

Thanks for the tip. I think it was Linux Mint that I was checking out, but as I said, it's been a while.