I set up Arduino to program a Sparkfun Thing, and everything was fine. I wrote some projects. Then I added a configuration to the Additional Boards Manager for ATtiny chips. But I neglected to use a comma, so it erased the URL for ESP32. I have added back the expressif URL to the Additional Boards Manager, and selected the Thing board, but it can't find the library. I have searched the hard disk, and the library is on it. But evidently Arduino has lost the path to it.
I think I have solved it. I changed my json package from the one I had been using to the one shown below, and I can now Verify without error.
What still puzzles me is that you have TWO json packages for esp32. Should I add back your github package, which was what I had before? Or maybe it's not needed for esp8266.