Thanks for your reply, Kadence. I uninstalled the theme using the file manager (and the Virtue tools plugin). I reinstalled the theme this morning, and it’s now working fine.
And you’re right. It appears that the customization all came back too.
All’s well that ends well.