adds note about why we prefer simple editors

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>