Frontend updates: MIDI player and more views, migrations, and more