Hey, I should report back. I downloaded the files and dropped them into place, then restarted the site without plugins. When I turned the plugins back on, it found the right files and everything worked again.
Thanks!
Thank you both! Now I have to figure out how to apply those updates without the benefit of the WordPress interface…
