> 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 ☺).