[#564] Rename "Jump" menu item to "Jump to source"