Wow that's great to know! I was an avid user of Linux Mint for years. I got away from it after two surgeries but I still have it running on my wife's laptop. I switched her over to Linux Mint back when Windows 10 came out. She stayed with it ever since and loves it! She has never had any problems with it and I don't even have to help her with anything. It just works, as you know! Thanks for posting this. I might have to setup a another computer and fire up Linux again. Linux Mint was always my favorite.