Turn off confusing view source link (#2860)

* Use html_show_sourcelink=True to turn off top bar link

* Add pending comment mentioning ticket #2859 asking about it

Author: pushfoo

doc/conf.py

@@ -264,6 +264,7 @@ def run_util(filename, run_name="__main__", init_globals=None):
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 html_theme = "sphinx_rtd_theme"
+html_show_sourcelink = False # pending: better solution to #2859
 
 # See sphinx-rtd-theme docs for details on each option:
 # https://sphinx-rtd-theme.readthedocs.io/en/stable/configuring.html