Probably easier just using downloader and get the file from Troypoint.
https://troypoint.com/smarters
Thanks, I might try that. I'm up and running at the moment, thanks to that "GM Fix" video, but having another option is handy when things are so unsteady.
I do want to figure out how to get the XCIPTV app I already downloaded working properly, though. Things that don't do what it looks like they should make my brain itch!