What am I going to do now?
Looks like I'll have to give up on my plan to move from Windows 7 to Mint, and embrace Windows 10.
No, what am I thinking?? At least they're fighting to keep Mint free of malware - Microsoft are doing everything they can to foist malware on me.
I'm encouraged by their immediate and open response to this problem, so I think I'll stick with the penguin.
But I will check the downloads from now on