Trivial docs updates

Minor updates to match the top-level index.rst verbiage on the v4.0.x
and v4.1.x branches.

Signed-off-by: Jeff Squyres <[email protected]>

Author: jsquyres

docs/conf.py

@@ -31,7 +31,8 @@
 ompi_data = dict()
 for ompi_line in ompi_lines:
     if '#' in ompi_line:
-        ompi_line, _ = ompi_line.split("#")
+        parts = ompi_line.split("#")
+        ompi_line = parts[0]
     ompi_line = ompi_line.strip()
 
     if '=' not in ompi_line:

docs/index.rst

@@ -14,11 +14,10 @@ order to build the best MPI library available.  Open MPI offers
 advantages for system and software vendors, application developers and
 computer science researchers.
 
-Other documentation
-===================
+Documentation locations
+=======================
 
-Documentation for other versions of Open can be found in the following
-locations:
+Documentation for Open can be found in the following locations:
 
 .. list-table::
    :header-rows: 1
@@ -28,7 +27,8 @@ locations:
 
    * - v5.0.0 and later
      - Open MPI documentation has consolidated and moved to
-       ReadTheDocs.io.
+
+       https://docs.open-mpi.org/.
 
        This particular documentation is for |ompi_ver|; use the
        selector in the