[9fans] sources is back up

[geoff]

Sources is back up, reincarnated in a different machine that is easier
to expand in several respects.  The main fossil was reinitialised from
the fossil dump score of early morning August 3rd; so any changes to
sources since then are gone.  The old sources had about 12GB of local
venti arenas; the new one is a venti client of our outside file
server, which has somewhat more space (this is not a challenge to fill
it ☺).