I always thought the two spaces marked the slightly longer pause than adter a comma and its one space.

My phone, if I hit space twice, types a period and a space.

Meanwhile the Mars helicopter has a name:

https://www.space.com/nasa-mars-helicopter-named-ingenuity.html