While we are at it, what's the convetional procedure for updating the TU PGP key in archlinux-keyring? Just let Pierre Schmitz know? -- Pierre Neidhardt