Rewordings for exports

[teolemon]

What

Please check your pull request looks ok, and feel free to add a quick description of your changes.
PR >> Pull Request
A button to close (or reword cancel to close ?)

[alexgarel]

@Piv94165

It's a quick win, and I think it's important to tell the contributor to look at the github PR.

I would indeed propose the contributor to "watch" the PR to be sure to answer comments.