1. I selected the option in Notation Options -> Condensing -> Inactive Players that says ‘Show rests and omit labels’(!), but in fact there are still player labels in situations like this:
I don’t think this is intended behaviour and it may probably be a bug. I have to select all player labels like this one by one and manually hide them, which brings me to—
2. The ‘Select More’ operation (and the Ctrl+Shift+A shortcut) for player labels don’t work. I have to click on every one of them to hide them. Is this also not normal?