8.20 branching next month

Developing the Coq system
1

Dear all,
The branch for upcoming 8.20 is scheduled in about a month:

please remove from the 8.20+rc1 milestone any pull request
that you already know won't be ready by then.