Allow translation of html_short_title in docs config

Author: Aniketsy

Doc/conf.py

@@ -17,6 +17,7 @@
 
 # Python specific content from Doc/Tools/extensions/pyspecific.py
 from pyspecific import SOURCE_URI
+from sphinx.locale import _
 
 # General configuration
 # ---------------------
@@ -299,7 +300,7 @@
     print("It may be removed in the future\n")
 
 # Short title used e.g. for <title> HTML tags.
-html_short_title = f'{release} Documentation'
+html_short_title = _(f'{release} Documentation')
 
 # Deployment preview information
 # (See .readthedocs.yml and https://docs.readthedocs.io/en/stable/reference/environment-variables.html)