Yes, by the time's collected those logs, I'd already done that as per your recommendation on Sun Oct 11, 2020 8:23 pm, which I reported the next morning.
Anyway, it worked well, as you saw. I'm looking at doing an update now, as up also recommended.
Thanks for your help, Yaroslav!