A site member found that some other pages on the site still had the original virus delivery infestation. I dug deep and found them all, cleaned up them, and we’re back to normal. All the additional files were modified at the same time as the original intrusion, so there’s no sign the perpetrators have been back since.
If you do encounter any browser warnings while visiting the site, please