Half playback speed for midi

While this is equivalent to switching the tempo track on and off, which makes the cursor jump, as mentioned by EdBeesley in the OP, it can be very useful, depending on the scenario.

Nice out of the box thinking… I did not think of that.