There was an error while loading. Please reload this page.
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.