It seems to me that the `bracket-text` property (as defined in `horizontal-bracket-engraver.cc`) is unused – it gets set (with `set_object()`) but never read.
Ditto for `pedal-text` in `piano-pedal-bracket`. What are these properties good for? What can they do what the `text` property of `HorizontalBracket` or `PianoPedalBracket` cannot? Werner