docs: Enable sphinx_rtd_theme as an extension.

This has no effect at present, but it’s documented as necessary to
enable localization of theme strings in translated output, so maybe
it’ll be relevant some day.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

docs/conf.py

@@ -16,6 +16,7 @@ on_rtd = os.environ.get("READTHEDOCS") == "True"
 
 extensions = [
     "myst_parser",
+    "sphinx_rtd_theme",
 ]
 templates_path = ["_templates"]
 project = "Zulip"