Horizontally stacked player numbers don't respect separator setting

Having set a comma as separator between player numbers, it seems this setting doesn’t get respected when changing the Engraving Options > Staff Labels > Numbering option “When stacking player numbers for condensed players vertically”:

See the F Horn staff labels on the left (next to the dialog)

(This is the state of the “Separator between player number” setting in Engraving Options > Condensing:

How could I get the comma displayed?

I don’t think you can at present: this looks like a little bug. I have made a note of it and we’ll fix this as soon as we can. Sorry for the inconvenience in the meantime.

No problem, doesn’t have too much of an impact currently. Still nice to have it.