GitHub repository: AlexRogalskiy/BoardManagerFiles
Description: Storage for Arduino Board Manager JSON and package files etc