GitHub codespaces使えばiPadでコード書けちゃうじゃーんと思ってたけど、iPad Safariで開発者ツールが動かず終わってしまった