Storage for Arduino Board Manager JSON and package files etc - View it on GitHub