Remove "Toggle Developer Tools" from application menu

[per1234]

Describe the current behavior

The "Help" menu contains an item "Toggle Developer Tools". In this case, "developer" is referring to the developer of the IDE itself. Those using the IDE to develop Arduino sketches will not find this to be useful in any way, so it only adds unnecessary complexity to the primary UI of the IDE.

I have observed the "developer tools" used for troubleshooting a user issue only a few times in the years of this project. In these situations, someone with advanced knowledge about the IDE is already assisting the user, and could just as easily provide instructions to the user for accessing the tools via a secondary UI along with the instructions for using the tools.

To Reproduce

1. Select Help > Toggle Developer Tools from the Arduino IDE menus.

Note that a very complex interface is presented which does not offer anything of interest or value to the target user.

Describe request

Remove "Toggle Developer Tools" from the "Help" menu.

It will remain accessible via the command palette.

Desktop

• OS: Windows 10
• Version: 2.0.0-rc1-snapshot.f0d9894
  Date: 2021-11-30T16:25:41.414Z
  CLI Version: 0.20.1 [abb21449]

[per1234]

Closing as resolved by #882

Thanks Alberto!