Re: Piano sustain pedal

[Federico Bruni]

Il giorno mar 13 ott 2020 alle 11:21, Michael Käppler 
<xmichael-k@web.de> ha scritto:
> Am 13.10.2020 um 10:56 schrieb Federico Bruni:
> > I would have tried removing the engraver.
> > Does this affect the MIDI too?
> AFAIK performers are responsible for MIDI output, not engravers.
> Piano_pedal_performer exists, so maybe
>
> \score {
>  \new Staff \with {
>    \remove "Piano_pedal_performer"
>  }
> [...]

Read again the first email.
Martin is trying to achieve the opposite: maintain the sostenuto in 
MIDI but remove the symbols in the graphical output.