XML dumps have been resumed, one thread only; if they look ok in another
12 hours or so I'll start multiple batches and they will run as usual.
Old bad dump files have been moved out of the way.
There is no reason to think that the dumps running now won't look fine;
this is just me being cautious.
Ariel