Ugh! Thanks for the heads-up and advice for which versions to target. The aforementioned machine is indeed running Mint. It’s a nice OS regardless.