M5Stack CoreS3にぷちのファームウェアを書き込みます。Arduino IDEのインストールは不要です。
Flash the M5 Petit firmware to your M5Stack CoreS3 — no Arduino IDE needed.
CoreS3をUSBでPCにつなぎ、ボタンを押してポートを選ぶ / Connect the CoreS3 via USB, click the button and pick the serial port
初めての書き込みでは「Erase device」にチェックを入れてください / Check "Erase device" on first install
初回起動時にCoreS3の画面にQRコードが表示されます。スマホで読み取って表示されたWiFi（M5Petit-XXXX）に接続すると設定ページが開くので、WiFi・名前・色を入力して保存してください（SDカードへの書き込みは不要です）。
A QR code appears on the CoreS3 screen. Scan it, join the M5Petit-XXXX WiFi it shows, and fill in WiFi/name/color on the page that opens (no SD card editing needed).
これはM5自身が一時的に作るWiFi（アクセスポイント）に接続して行うので、このページの外、スマホの中で完結します。
This step happens on a WiFi network the M5 itself creates temporarily, so it's done on your phone, outside this page.
顔画像・効果音を使いたい場合、空のFAT32 SDカードをM5に挿したまま、スマホ/PCのブラウザで下のURLを開いてください（ボタンひとつで標準セットが入ります）：
If you want custom face images / sounds, insert an empty FAT32 SD card into the M5, then open the URL below in a phone/PC browser (one button installs the default set):
http://<M5のIP または キャラクターID>.local/assets
IPは手順2完了直後、画面右下（30秒間）に緑色で表示されます。
The IP shows in green in the bottom-right corner of the screen for 30s right after step 2.
※このページ(https://petitones.github.io)からM5へ直接送る形は、HTTPS→HTTPの通信をブラウザがブロックする（Mixed Content）ため動作しません。M5自身が配信するページ（HTTP同士）からなら送れます。
Note: pushing directly from this page doesn't work -- browsers block HTTPS→HTTP requests (mixed content). The M5's own page (HTTP-to-HTTP) works fine.