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