Right – hopefully that’s everything back up and running again!
The hack didn’t affect my customised theme (and I’ve restored a clean version from my source-control anyway). I suspect there will be little dark corners that don’t quite work, but the site is looking much like I would expect it to.