Numbering of condensed Section players

This has probalby been asked before, but I can’t find it:

I am missing options for numbering and positioning condensed section players in the Engraving options (-> Staff labels) similar to the options for condensed solo players:

  • Staff labels for identical adjacent section players
  • Player numbers for condensed section players
  • When stacking player numbers for condensed section players vertically

When I change the “Separator between player numbers” in the Condeseng group of the Engraving options to “Comma”, this should also work for Roman numerals.