If there is another way to install library from github website too, it may be convenient way for the newbie. Wish the next version of ArduinoIDE will be support this option. ### Additional context #### Related - https://github.com/arduino/arduino-builder/pull/223