GPL is harmful to developer freedoms but incredibly beneficial to user freedoms. Please do not conflate the two.