Well, and another problem came to light. It's, indeed, possible to a end-user to loose the GPL granted rights.
It's not easy, but there're legal grounds on some countries (Germany, if I was informed right).
This potentially renders the end-user high and dry...