i put up a very basic mirror of sources. it has no history, no users and updates are currently manumatic. but here it is: http://sources.coraid.com - erik