Timeline with expansion including repeats and jumps

V3 provides the timeline of the score, which is very fine and helps a lot to navigate.
What would be the "Sahnehäubchen" to this feature: provide the optional timeline including all repeats and jumps. This would be nice to control if all jumps are handled in the correct way - which is sometimes not so easy to control. Actually this may take a long time, because a user must start the playback and wait for the repeats/jumps each time...
But as I said: it's really a "nice-to-have".