If we can link Libraries on GitHub without having to download them in Arduino Create Web Editor it would be cool. And If it can show all of those libraries in the list we can pick from them. That would make an awesome web editor for Arduino.
Yep absolutely! We are working on a Library Manager that will work similarly to the one on the Java IDE, all the Arduino compatible libraries in our database will be displayed there and you will be able to add them to your sketch. This is the first step, then we might look into the Github integration.