|  | @@ -181,13 +181,9 @@ html_context = {
 | 
	
		
			
				|  |  |      "github_repo": "godot-docs",  # Repo name
 | 
	
		
			
				|  |  |      "github_version": "master",  # Version
 | 
	
		
			
				|  |  |      "conf_py_path": "/",  # Path in the checkout to the docs root
 | 
	
		
			
				|  |  | -    "godot_inject_language_links": True,
 | 
	
		
			
				|  |  | -    "godot_docs_supported_languages": list(supported_languages.keys()),
 | 
	
		
			
				|  |  |      "godot_docs_title": supported_languages[language],
 | 
	
		
			
				|  |  |      "godot_docs_basepath": "https://docs.godotengine.org/",
 | 
	
		
			
				|  |  |      "godot_docs_suffix": ".html",
 | 
	
		
			
				|  |  | -    "godot_default_lang": "en",
 | 
	
		
			
				|  |  | -    "godot_canonical_version": "stable",
 | 
	
		
			
				|  |  |      # Distinguish local development website from production website.
 | 
	
		
			
				|  |  |      # This prevents people from looking for changes on the production website after making local changes :)
 | 
	
		
			
				|  |  |      "godot_title_prefix": "" if on_rtd else "(DEV) ",
 |