Phobos version naming

Wed Nov 3 22:35:27 UTC 2021

On Wednesday, 3 November 2021 at 22:21:53 UTC, Andrei 
Alexandrescu wrote:
> Prolly we could have both so people could use either "io" or 
> "std2".

Oh, so you are leaving Mars and moving on to Jupiter? Good 
choice, [Jupiter has 79 moons (53 with 
names)](https://solarsystem.nasa.gov/moons/jupiter-moons/overview/?page=0&per_page=40&order=name+asc&search=&placeholder=Enter+moon+name&condition_1=9%3Aparent_id&condition_2=moon%3Abody_type%3Ailike).

Does leaving Mars (D2) and entering an orbit around Jupiter mean 
we will get D3 too?