From 88f8c5bb0cd0b9901849d0e746063fe67785a456 Mon Sep 17 00:00:00 2001
From: pushfoo <36696816+pushfoo@users.noreply.github.com>
Date: Thu, 21 May 2026 13:13:36 -0400
Subject: [PATCH] Turn off confusing view source link

* Use html_show_sourcelink=True to turn off top bar link

* Add pending comment mentioning ticket #2859 asking about it
---
 doc/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/conf.py b/doc/conf.py
index 2633b7b8a..11eae1b56 100644
--- a/doc/conf.py
+++ b/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