Allow including library from Github link

[MicSG-dev]

Describe the request

In the 'Sketch' -> 'include Library' menu there is the option 'Add .ZIP library...'. There should also be an option to include a library from a Github link, since there are numerous Arduino libraries that are in repositories on Github, but are not in the Arduino Library Manager.

Describe the current behavior

There is no option to include libraries from a Github link. There is only the option to include a .ZIP file.

Arduino IDE version

2.3.4

Operating system

Windows

Operating system version

Windows 11 Pro 23H2 - Compilation 22631.4037

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details