I wondered to which e-mail address one has to send the Pizza money using the Tip Jar (PayPal on the interchang.redhat.com site) ? BF