Hiding bar numbers at rehearsal marks

Daniel, just to clarify: selecting in Layout options Bar Numbers>Show Bar Numbers>Every system and tick on “Hide bar numbers at rehearsal marks” also results in a double numbering in those instances where the layout places a rehearsal mark at the beginning of a system. I wonder if Dorico could allow another option: “Hide bar numbers at rehearsal marks at beginning of systems”, which would hide bar numbers in these instances, or simply have “Hide bar numbers at rehearsal marks” be the overriding effect no matter how the music gets casted off.
barnumbers.png