RFC resolution?=== 

 The RFC period ended the other day. The only two editors who commented seemed to be broadly in favour of the proposed edit. Is there any objection to making the edit (with the changes we discussed)?   

 =