HoleEdit: Use ExprGuiM.mkPrejumpPosSaver
Alt-jumping to holes saves prejump position
Oops: ApplyEdit didn't assign cursor properly and Apply conversion ignored tag expr ids