API Level 35がstableになったので…というのはあまり関係ないんだけど、edge-to-edgeな環境でDropdownMenuのバグで最後のデバイスが表示されない問題に対応したresident-midi-keyboardのアップデートを出した https://play.google.com/store/apps/details?id=org.androidaudioplugin.resident_midi_keyboard