Should we mention in which menu the "Reload Without Extensions" command can be found?