Problems with Dorico UI, when at 150% global OS scaling

On the subject of the size of the menu text in Windows, this will be fixed in the next update.