* Robert Dewar: > One could of course just take a blanket view that everything > on the site is, as of a certain moment, licensed under GPLv3 > (note you don't have to change file headers to achieve this, > the file headers have no particular legal significance in > any case).
In Germany, they are significant in some contexts. For instance, if you distribute software with GPL headers to someone, and the receiver uses them in accordance with the GPL, you will face a very tough time in court when you try to claim copyright infringement by the receiver because--surprise, surprise--the files weren't actually licensed under the GPL. This is called "venire contra factum proprium" in German legalese, and I'm sure similar no-nonsense provisions exist in many jurisdictions. (Of course, a third party can still successfully claim copyright infringement.)
