Ah, thanks so much!
Well, I did the “redownload” thing, but then got an error message “You are running Home Assistant version '2022.11.5', but this repository requires minimum version '2023.1.0' to be installed.
”
Well, that explains it! I will wait a few more days, until things around the new 2023.1 release have settled.