Downloading new IDEs

It would be better (as has been discussed before), if user libraries can be loaded from user documents locations

They are. Libraries should no longer be placed in the Arduino IDE folder but should be placed in...

{SketchFolder}\libraries