Update/fix "jump-to-mark" related code
Update "jump-to-marks" related docs