[Extension] menu

The [Extension] menu includes the following options:

• [Extensions Manager] (Extension menu)
• [Library Builder] (Extension menu)
• [Import Library] (Extension menu)
• [Delete Library] (Extension menu)