Yes, I found this out through an article at Theme Labs – they went over the same ground, but also referred to a useful plugin which checks the authenticty of themes and identifies whether and where such malicious code exists.
It’s a well handy plugin: TAC from http://builtbackwards.com/projects/tac/
Click Here To Submit A News Tip Or Story