やっとこAndroid13にアップグレードできたわ。
公式のチュートリアル通りにやったら、ファイル足りないわ、アップグレード失敗するわ
で分鎮化しかけて、大変だった。

公式のユーザーフォーラムで一般ユーザーさんが細かく説明してくれてたから無事
アップグレードできた。