diff --git a/basics.html b/basics.html
index 606907f038217a895132a082a5ddab34aa026a81..53f3da476ccc0a150fa1847fe91067d865698d39 100644
--- a/basics.html
+++ b/basics.html
@@ -477,6 +477,10 @@
             ```
 
             notes:
+            - if you already have another *core* editor for yourself, feel free
+              to use it
+            - if not, please stick to a simple-to-use one for the duration of
+              the seminar
           </section>
         </section>