Mark Galassi <mark(a)galassi.org> skribis:
> Attached is a patch based on your proposal.
 You patch is an improvement on my draft :-) go with it! 
Pushed along with the fixes Ricardo suggested:
  
https://web.gnu.tools/en/documents/governance/
Thanks!
Ludo’.