These Web pages are managed on github. If you wish to make modifications, you can fork it, create pull requests or send email to with your suggestions for improvements.

The source of the page can be found at:

Those that do not have direct access are able to edit even in the browser. This is documented at: