I didn't, but I'm assume he's familiar with the PGP debacle (and if he's not, I just emailed him).