You can download the library as a zip and select Include Library -> zip library in the Arduino IDE. Or you can git clone this project into the Arduino libraries ...
Earlier versions of Arduino IDE allowed third party tools to be added to the Tools menu. For example, Teensy uses this feature to provide a tool that manages keys used for code security. IDE 2.0 has ...