The scratchbox.org site and its repositories seems to be down. Does anybody know if that is temporarily (that site was Nokia sponsored) ? Is there a mirror of the data on Scratchbox.org somewhere?