As you found the sketches and libraries are separate from the IDE. If you want to delete a library you need to delete it from the library folder.
As you found the sketches and libraries are separate from the IDE. If you want to delete a library you need to delete it from the library folder.