[icebraining]

I disagree. You're thinking of the end-user as unsophisticated, who treats the software as a black box, but I'd argue that the philosophy behind the GPL includes the end-user as someone who potentially wants to change the tools he works with.

This separation between "developer" and "end-user" is common, but by no means absolute; there are many examples of non-professional developers adjusting their own tools such as scientists, business analysts, financial advisers, etc.

Besides, the GPL also grants the right to share the binaries with other people, which is definitively something that every end-user does.