Re: [sysadmin] Not mirroring sources: a GPL violation?