Please add both jedi:goto-definition-push-marker and jedi:goto-definition-pop-marker in the manual (doc/source/tail.rest) as well.