Navigation during undo

Hi!

Please have a look at my thread here, Undo list gets messed up
I remember some unexpected jumping around, too. Maybe we are talking about the same thing? Did Dorico undo the correct thing when jumping aroung?