Add documentation for the jump-to-definition menu-item