Now the only difference between the two seems to be Jeroen’s 50MB patch can be applied to an existing Arduino 1.6.1 (and possibly 1.6.2) IDE install, while Ivan’s is the whole IDE with the ...

Here you can search libraries via Type and Topic, and once you find the one you want, select the version and click on Install. In Arduino IDE 2, you will need to click on the Library icon on the ...