Okay, I replaced the two “fixed” (actually removed) files, which were essential to the theme and site working. Now my site is up again.
I see that my theme has an update, so I’ll install that and see if that fixes the threat.
I’ll keep you posted.