Ask people to help us improve the list

wiki/src/install/inc/steps/pc_boot_menu.inline.html

@@ -76,12 +76,18 @@ following screenshot is an example of such boot menu:</p>
 </li>
 
 <li>
+  <p>If the computer starts on another operating system or returns an
+  error message, shut down the computer again and repeat step
+  3 for all the possible boot menu keys identified in step 2.</p>
+
   <p>If a boot menu with a list of devices appears, select your USB stick
   and press <span class="keycap">Enter</span>.</p>
 
-  <p>If the computer starts on another operating system or returns an
-  error message, then shut down the computer again and repeat step
-  3 for all the possible boot menu keys identified in step 2.</p>
+  <div class="note">
+  <p>If the boot menu key that works on your computer is a different one than
+  the first in the list, please let us know. You can write to
+  [[sajolida@pimienta.org]] (private email).</p>
+  </div>
 </li>
 
 </ol>