Handle jedi.NotFoundError in process_definitions
More explicit error handling in nav-pop-marker