After some thought, :-) I have concluded that it may be preferable to separate the proposal to drop Social Contract clause 5 from the other changes. I, and probably others, care much more about nailing down that everything in 'main' must follow the DFSG, than about what happens to clause 5, and I don't want argument about clause 5 to kill the clarification of the rest.