Mark,
I am sorry, I didn't promise that at all! My MIDI input is step-time only, and limited to single notes, not chords. I did experiment with real-time, but it was obvious that it was impossible to play short notes sufficiently accurately.
Version 3.2.7, containing this facility, was uploaded to my web site last week.

Maybe I should have tried a half-speed or quarter-speed option.

I did also experiment with a MIDI File 'adjustment' program to make the MIDI file better for import to scoring programs, but there seemed to be little interest in this after all, so I have suspended work.
I have succeeded in creating MIDI files whose note lengths have been adjusted (Not simply quantised) for this purpose, but haven't yet perfected the algorithm, nor tried the output in the common packages.