The CVS server which had a fatal disk crash in May has now been replaced with a new machine, reinstalled. Read more from Timo here!