Thanks again for your comments!
I think I'm going to make more use of my midi pedal again. I stupidly sold an 18-key pedal, because I thought it was too heavy, and bought a lightweight 12-key pedal.
@Bill: I have also played on midi pedal without shoes on gigs. These small midi pedals really invite to put off your shoes... But it's wise to wear black socks then