A fix has beenapplied, and it seems to be working again. Some files are missing now, got written over in the repair. We'll have to see, what else can and needs to be recovered or set up anew. Please report any malfunctions.
And please keep following our Info, where we'll inform about any problems arising next.