Currently we practice with midi files. The files are played similar to mp3 music by default: You can listen but not modify the music. For each choral voice, an extra midi file is provided with a focus ...

MIDI files with .mid suffix open fine in MuseScore on macOS. Yet, if the file has a .midi suffix, it cannot be opened by dropping on the app icon and MuseScore is not available in the context menu.