diff --git a/doc/arm/conf.py b/doc/arm/conf.py
index c28ddfaa73..b38206663e 100644
--- a/doc/arm/conf.py
+++ b/doc/arm/conf.py
@@ -169,6 +169,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.