I just installed the fresh IDE onto my Pi, but I'm pretty dissapointed with its performance - it takes longer to launch and often freezes (when opening library manager for example).
I installed 1.8.10 just to really make sure and it doesn't have issues described above.