Re: Not mirroring sources: a GPL violation?