Yes, that would be interesting to know.
I never had a foot pedal around, but I’m quite sure you need one that can be configured, so that the switches or buttons can be mapped to ELAN keyboard shortcuts.
She is using the Infinity USB Digital Foot Control with Computer Plug (in-USB2), and programming it using the Pedable free software, https://www.nch.com.au/footpedal/index.html.
I just ordered a pedal; I’ll give another update after I’ve started using it.