Arduino IDE・ボードマネージャのURLの一次ソース

Arduino IDEの初期設定をするときボードマネージャの設定をする．検索すれば設定方法をいくらでも見つけることはできるのだが，ボードマネージャのURLに関して一次ソースが書かれておらず不安になるときがある．そのとき毎回一次ソースを探すのだが，毎回検索するのが面倒なのでメモを残しておく．

ESP32-DevKitC

ESP32-DevKitCはこちら． docs.espressif.com

M5Stackはこちら．M5Stack Core2とかM5StickCとかも同じURLでOK． docs.m5stack.com