That's where most of my libraries are located. But there are libraries only in arduino-1.8.15'\libraries that the compiler finds. That is why I am confused because I don't know why the compiler knows to look there.
At any rate, I am going to reinstall the IDE now.