アニメーションを録画して動画ファイルとして保存します。ffmpeg などのインストールは不要です。
ビューアへ →
保存形式はブラウザによって変わります。PC の Chrome / Edge は webm、
iPhone / iPad の Safari は mp4 になります（実際の形式は録画中の表示に出ます）。
webm から mp4 が必要な場合は scripts/webm-to-mp4.sh（要 ffmpeg）で変換するか、
動画編集ソフトに読み込ませてください。