John Allen has the latest papal clarification. And he is good on Benedict XVI as a Platonist, always discussing the church in ideal terms, but angering Catholics (and non-Catholics) more attuned to a historical view.