diff --git a/docs/manual/.buildinfo b/docs/manual/.buildinfo
index 1bc5ae79..48ad97ce 100644
--- a/docs/manual/.buildinfo
+++ b/docs/manual/.buildinfo
@@ -1,4 +1,4 @@
# Sphinx build info version 1
# This file records the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: d2aa4b2c7b36fa2c44a9acf95ab9a691
+config: 82ef027faef3f2a49a9dfcb392d03f34
tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/manual/_static/documentation_options.js b/docs/manual/_static/documentation_options.js
index 55bfe5a2..dfba10e8 100644
--- a/docs/manual/_static/documentation_options.js
+++ b/docs/manual/_static/documentation_options.js
@@ -1,5 +1,5 @@
const DOCUMENTATION_OPTIONS = {
- VERSION: '1.4.0',
+ VERSION: '1.4.1',
LANGUAGE: 'en',
COLLAPSE_INDEX: false,
BUILDER: 'html',
diff --git a/docs/manual/distributed.html b/docs/manual/distributed.html
index f7dfa168..4f38fec2 100644
--- a/docs/manual/distributed.html
+++ b/docs/manual/distributed.html
@@ -7,7 +7,7 @@
-