diff --git a/doc/arm/conf.py b/doc/arm/conf.py
index 3a58eb3fe6..38f727ee41 100644
--- a/doc/arm/conf.py
+++ b/doc/arm/conf.py
@@ -164,6 +164,8 @@ release = version
 
 # -- General configuration ---------------------------------------------------
 
+user_agent = "Mozilla/5.0"
+
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.