Just based on historical precedent alone, I imagine people would default to whichever fork is more economically popular (larger market cap)

I do really hope that if a fork comes, there isn't a protracted fight over naming rights