> Historically this is not a problem. Legally it is. The first time they delete something we need, our distribution becomes instantly illegal. And traditionally, the GPL hasn't allowed you to put the responsibility of providing sources on someone else.