Libraries that are shipped with the IDE live there, and you can install libraries there if you like, but you can also install them in a "libraries" subdirectory of your sketch folder. This is "kind of a big deal" on Linux, where the distribution may have supplied a package of the Arduino IDE, which a normal user account wouldn't have permission to write to.