from 4F9ED407 to F2133176
Following what's going on in Debian I've switched my gpg key from an old 1K SHA1 to a brand new 4K SHA512. Starting from Zack's Blog and following to this migration howto and this ubuntu gpg howto.
The old key is:
pub 1024D/4F9ED407 2007-09-18
Key fingerprint = 5AA4 A815 CB95 …