Docs docs: Note that build_docs_to_publish isn't needed to contribute.

Author: samsrabin

doc/source/users_guide/working-with-documentation/building-docs-multiple-versions.rst

@@ -5,7 +5,7 @@ Building multiple versions of the documentation
 
 There is a menu in the lower left of the webpage that lets readers switch between different versions of the documentation. To build a website with this menu properly set up—so that all our versions appear and all the links work—you need to use ``docs/build_docs_to_publish`` instead of ``docs/build_docs``.
 
-If you'd like to try, this will generate a local site for you in ``_publish/`` and then open it:
+Note that this is not necessary in order for you to contribute an update to the documentation. GitHub will test this automatically when you open a PR. But if you'd like to try, this will generate a local site for you in ``_publish/`` and then open it:
 
 .. literalinclude:: ../../../testing.sh
    :start-at: ./build_docs_to_publish