Contributing to the Documentation

We welcome any contributions to our website's source GitHub repository. Contributions can be updates to the documentation content, or (rare) changes to the JS engine we use to run the website.

In case of a minor change, you can use the Edit on GitHub button to open the source code page. Use the Edit button (pencil icon) to edit the file in-place, and then Commit changes from the bottom of the page.

Please see our sister website's Contributing to Documentation guide for full details.