That's your proposal, not GNU's proposal. Please don't attribute it to GNU like that. Linux is Linux. GNU is GNU. Debian, Fedora etc are combinations of Linux, GNU, and much else besides. IMO it's better if the distributions don't incorporate GNU or Linux into their names.
I don't believe I did attribute it to GNU. If it came across that way, apologies.
It seems it very much did come off that way. Deleted.