Well, I forgot that there was a separate Mint forum here. I also belong to the Linux Mint Forums, and posted there first, but still haven't gotten a reply. Sigh.