>He's basically saying: "We must avoid design decisions that allow users to do X, because we disagree with X". Well obviously he wants to void design decisions

>He's basically saying: "We must avoid design decisions that allow users to do X, because we disagree with X". Well obviously he wants to void design decisions which allow limiting end user rights given that protecting these end user rights is the entire idea on which FSF and subsequently the GPL licence was founded. Rights which include the source code to see how a program works and be able to modify, run and copy said software. Allowing for proprietary plugins in GCC means no longer protecting these rights, which of course makes no sense from FSF's standpoint as again, protecting end user rights is and creating software which promotes these end user rights is their reason for existance.