[9fans] sources is out of service

[geoff]

Its venti arena partitions are full.  I'll fix it Wednesday
and post a note here when it's back in service.