As far as I know, I’ve wiped out the virus. Please let me know if you are still having problems.
As far as the new theme, it’s an indirect result of this whole process. I was reminded of the fact that my website has looked exactly the same for over two years now, and I couldn’t find the original source code for my theme anyway. Rather than going through every single file in the theme to manually wipe out the virus (I actually think I manually destroyed the only occurrence, but would have wanted to be sure), I just installed a new theme. It was probably just as much work to re-crop, re-size, and re-upload all the images for my randomized header, but be that as it may, I’m still pretty pleased with the time and effort that went into it, and the final product.
For those of you who are just reading this on facebook or anywhere else this gets imported via RSS, I’d encourage you to cruise on over to dannypeck.net and take a look around. If you haven’t actually been to the original source of my blog before, you may find something interesting. If you have, hopefully you’ll like the new look.
Congratulations on your successful hunt.