Fix "WARNING: unsupported theme option"

This should fix "preparing documents... WARNING: unsupported theme option 'show_version' given" that showed up when running "make html".

Author: HannoSpreeuw

docs/source/conf.py

@@ -21,10 +21,6 @@
 long_version = sourcefinder.__version__
 release = long_version.split(".dev")[0]
 
-html_theme_options = {
-    "show_version": False,  # hide version in top-left
-}
-
 # Make full version available to templates
 html_context = {
     "full_version": long_version,