> 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 ☺).
many thanks. - erik
