Red-face: mutt hid from me the fact that this question had already been replied-to multiple times. Sorry for the noise! -- Find my GnuPG public key on better keyservers everywhere ;-) GnuPG public key fingerprint: BD26 A5D8 D781 C96B 9936 310F 0573 A3D9 4E24 4EA6