Just want to point out that location names are used for codenames because they cannot be trademarked

Big tech uses them instead of wasting legal time and money having to clear a new name that's temporary or non-public.

Changing the name to Tokio removes this benefit and still leaves it disconnected from its purpose.