Another little bug that would improve QoL on Dorico: When you select or deselect a player in setup mode, the players panel jumps to the top, scrolling-wise. This is quite a pain when you need to select or deselect a whole bunch of instruments at the bottom of a long list.