Ok I finally found some time to look at the keyboard and identified that the issue is on the DM somewhere, which is beyond my capacity to fix.
Another potential solution would be to get a different set of pedals that plug into the midi ports. They look like this:
I’ve seen midi pedals online, but they typically look have a 1/4” plug. Also, some of them have a “sustain” midi port, which this doesn’t have.
Does such a thing exists as a pedal set that could plug into these kinds of midi ports (knowing that the keyboard is designed for the pedals to plug into a dedicated spot)?