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 ...

Installing the library is as easy as checking out the code from GitHub into your Arduino install, so that’s exactly what I did. I then spent a couple days playing around with it.