Comment 3 for bug 913222

The following snippet should do the trick to regenerate the keys :

 for i in 41BCD9E7 DA10B483 80420F66; do gpg --recv $i ; gpg -a -o $i.asc --export $i ;done;

I guess this warrant a update