For some reason, the HALion Sonic SE Instruments that I’ve been using in Dorico Pro 3 have suddenly gone sharp by one tone. I have to transpose the MIDI down -2 to get it to sound at normal pitch for all instruments. What might have gone wrong? Maybe some bizarre quirk of upgrading the MacOS Big Sur? I’m puzzled.