Great, thanks. I'll set up the environment on the office
machine,
there's a fedora mirror ten meters away, so at least the downloading
itself will be snappy.
I'm rehacking the scripts a little to avoid the one giant directory.
So check with me before you start a run.