Christoph Egger writes:
> > Maybe I did not see some edge effects but this solution seems ok to me.
> > Do you see something wrong ?
>
> It's already working very well, thus I think this question can be
> replied by our webmaster at best.
Well, the 'snapshoted' source trees are not really huge; we're
not wasting much disk space there. It's working ok so far, so unless
there is really a need for a different approach, I don't really want
to touch anything right now.
I'd like to focus more on the site itself, especialy the docs.
Eric.
