(Just deleted my earlier post after making a discovery.) Actually, Notion DOES record pedal, now, but you have to be in the Midi-Score scoring interface instead of the standard score view. Not sure what happens if one converts it to a regular score. One work-around, in any case, would be to use Save...