Dorico 5 pitch bend midi export

When exporting MIDI files, Dorico has to map between its own representation of pitch and the more limited MIDI representation. This means snapping the pitch of the note to a 12-EDO value and then applying a suitable pitch bend. I’ve not audited the code in detail to see exactly what it does, but based on some other investigation I did recently (regarding this thread) my understanding is that Dorico cannot necessarily preserve the written pitch of the note in the score when exporting MIDI, but instead focuses on trying to preserve the sound – which is typically the most important thing when you’re working with MIDI.