If it’s not there, yes. Please feel free to file a Pull Request to the docs. For simple changes to the docs, it is easiest to navigate to the file in GitHub and click the “pencil” icon in the top right. This will allow you to edit the file and submit the Pull Request right in the browser.