- It will be useful for people search for this on our website.

- It makes it easier for Help desk to point to the relevant
  troubleshooting sections. (#14788)

- Thanks to the Shift+Restart technique on Windows, the Boot Menu key
  should only be used by Linux users now. Their computer should already
  have a minimum configuration to start on USB stick and they less
  likely need to edit their BIOS settings.