[gertlex]

Thanks for the correction.

Discussing with a coworker yesterday, they also pointed out the distinction I'd missed, which is that there are separate robotics groups doing research (Gemini) and applied work (Intrinsic? physicalintelligence.company; these are under the Alphabet or X projects umbrella, I infer? Really haven't paid attention.)