Ahh, you're right of course. I thought those were both options, but I launched Robocode and only saw the one and thought it had just been renamed. But "Extract..." is only offered in the Editor.