--- a/docs/conf.py	Mon May 18 12:25:48 2026 +0200
+++ b/docs/conf.py	Tue May 19 18:03:48 2026 +0200
@@ -125,8 +125,20 @@
 
 html_static_path = ['_static']
 html_extra_path = ['../LICENSES']
-html_copy_source = False
+html_copy_source = True
 html_show_sourcelink = False
+#html_sidebars = {
+#    '**': [
+#        'localtoc.html',     # a fine-grained table of contents of the
+#                             # current document
+#        'globaltoc.html',    # a coarse-grained table of contents for the
+#                             # whole documentation set -- collapsed
+#        'sourcelink.html',   # a link to the source of the current document,
+#                             # if enabled in html_show_sourcelink
+#        'relations.html',    # two links to the previous and next documents
+#        'searchbox.html',    # the “quick search” box
+#    ],
+#}
 
 #html_theme = 'alabaster'
 html_theme = 'haiku'