diff --git a/www/htdocs/index.html b/www/htdocs/index.html
index 0cf96bd5..96410f4f 100644
--- a/www/htdocs/index.html
+++ b/www/htdocs/index.html
@@ -1007,6 +1007,9 @@ If you get errors about port 8001, make sure that
 
   - instead, put a `redis` entry in `extra_hosts`
 
+Note: the code stays on the first node!
+<br/>(We do not need to copy the code to the other nodes.)
+
 ---
 
 ## Making Redis available on its default port