From ee2f8ef02e3992abf71bb1cf813597e0d4e6d5b8 Mon Sep 17 00:00:00 2001
From: Jerome Petazzoni <jerome.petazzoni@gmail.com>
Date: Sun, 29 Nov 2015 14:13:52 -0800
Subject: [PATCH] Fixes after LISA

---
 www/htdocs/index.html | 3 +++
 1 file changed, 3 insertions(+)

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