title: Arduino IDE library location
body: <p>I have Arduino project WiFiManager that uses ArduinoJson 5. ArduinoJson is installed in my system and project compiles fine:
  <a href="https://i.stack.imgur.com/iJGr0.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/iJGr0.png" alt="enter image description here"></a></p>
  
  <p>I decided to move to VisualStudio Code IDE. For this reason I need to copy library ArduinoJson 5 from Arduino IDE. I found <code>/Users/&lt;username&gt;/Documents/Arduino/</code> libraries in my Windows 10 machine. But there is no ArduinoJson 5 library. Where it is located?</p>