For me personally iOS, but I kept the question generic so it would be applicable to more than one platform.

Thanks. It’s definitely one of the best web apps I have ever used.

Currently it’s a web app

I agree with the name change. I don’t like Badger though, probably mainly due to associations with badgers.

Suggestions Argonaut: a person in quest of something dangerous but rewarding; adventurer. Obviously related to mythology (Jason & The Argonauts), but not overdone like the deities. Generally a clear unique name that signifies the “adventure” that is the fediverse. Also flexible in terms of mascots and app icons.

Dragonfly: planned spacecraft and NASA mission to the largest moon of Saturn (in line with the current icon). I generally like the space theme.

Pioneer: name of various space missions. Also relates to the general aim of the app to lead or significantly contribute to the growth of a (to most people) novel area of the internet (i.e. the fediverse).

Traverse: already the name of one of the tabs in the app and I kinda like it. It’s simple and it signifies travelling across the fediverse.

Hermes / Mercury: as mentioned in another comment, Greek/Roman deity able to travel between worlds (which relates to “travelling” across the fediverse). The whole deities theme is a bit overdone though.

Mallory: name of the mountaineer who participated in the first three (British) Mount Everest expeditions (and maybe the first to reach the top, but this is controversial as he never returned from his last trip). A pioneer in his own field. Also the name of the character Dr. Mallory in the series Space Force.

General tips Whether you go with one of the suggestions or not, I think it is important to pick a somewhat abstract name so people can form associations with it without be hindered by strong existing associations (which is the problem with Badger I think). Furthermore, pick something that is in line with the goal of the app/team, so it resonates with the team and early adopters.

Obvious tips Google a name and look on the app store before picking one (for example, I know ‘Orion’ is already the name of an upcoming browser).

Pick a name that is “phonetic”, so people potentially hearing it on a podcast can easily look for it.