Not sure if this is known or not. But I wanted to point out that player labels still show in condensing even when the option is unticked in notation options. I know I can hide them manually but hopefully in the future this option works a tad smoother.
It’s a known issue and has been reported several times. Not sure what the timeframe is for addressing it.