> Last, it appears to me a good idea to also provide the tip for removing
> closed pull requests; because it’s not straightforward – at least, it
> was not obvious for me before I did my homework. :-)

That’s the ‘prs-clean’ alias you provided, right?

We can add it, but maybe it’s best to keep it for some developer
documentation?  (I did not intend this part of the GCD to be
documentation; rather my goal was to give an overview of the available
interfaces.)

> I understand the intent of the last sentence.  Well, I would not close
> the door this way.  And I would remove the mention of “author” – it’s a
> Consensus Document after all. :-) Nitpicking for the very last part.

How about this smaller change: