diff --git a/doc/conf.py b/doc/conf.py
index 1972886275552565d179a096258200c2cb9c6e3b..b501a3139851055015ba912ea353c00ad41ab375 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -93,10 +93,6 @@ todo_include_todos = False
 html_theme = "furo"
 
 html_theme_options = {
-        #"extra_nav_links": {
-        #    "🚀 Github": "https://github.com/inducer/pytools",
-        #    "💾 Download Releases": "https://pypi.python.org/pypi/pytools",
-        #    }
         }
 
 # Theme options are theme-specific and customize the look and feel of a theme