Ah, I thought you have some interactive use jedi:goto-definition-push-marker was in mind, as it is defined as a command.  Let's remove it from the manual and remove the line `(interactive)`.