Fix ReadTheDocs display of version string

Fix problem where RTD displays full release version string (eg: X.Y.Z.dev0+gXXXXXX)., not shorter X.Y.Z version (shown in the title at the top left corner).

docs/conf.py

@@ -130,11 +130,11 @@
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
-#html_title = None
+html_title = f"{project} {version} documentation"
 
 # A shorter title for the navigation bar.  Default is the same as
 # html_title.
-#html_short_title = None
+html_short_title = f"{project} docs"
 
 # The name of an image file (relative to this directory) to place at the
 # top of the sidebar.