Test pull request documentation builds

[rohansatapathy]

I made a trivial change to the documentation to test out the "Build pull requests" setting on ReadTheDocs.io. If this works, we should be able to access the documentation for this and any future pull requests through the documentation website. This will allow us to confirm that the documentation looks correct before merging into master.

Please do not merge the pull request until I have confirmed that the docs configuration is working.

[rohansatapathy]

Looks like the documentation deployment is working! To view the documentation before merging, you can click on the Show all checks button in the All checks have passed button, then click the "Details" button to view the documentation. In the documentation, there should be a banner indicating that the documentation comes from a PR.