それはそれとして、いちいちDLしてファイルを更新していたのがGitHub Copilotのエージェント機能で全部まとめてやってくれるようになった。