Dürfen, fürchte ich, schon. Der opensource-Copyright Vermerk wird gegebenenfalls mitinstalliert.
Auch wenn es sehr verdächtig aussieht, zusammen mit seiner Installationsempfehlung:
Damit es garantiert funktioniert empfehle ich euch, einfach alle anderen Library´s zu löschen und den Arduino Uno IDE neu zu installieren.