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