I think you are confusing the Import downloaded robot tool with the Extract downloaded robot for editing tool.
Anyway, yeah, it seems I'll have to import each robot individually from now on.
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.
