In reply to Otto.

… except that Site Health and similar tools will point out that having unactivated themes (and plugins) is a security risk and that you ought to delete them. My sites weren’t affected as I find no additional themes – which makes sense, you can’t auto-update one-third of the world’s websites in 24 minutes. Probably.