How to play and edit MIDI files in Windows 11/10