Pues se ha hablado ya bastante al respecto. Lo cierto es que estamos ya todos/as muy familiarizados con el nombre experimental, tanto usuarios como medios de comunicación. Puede que al final lo dejen tal cual, aunque lo cierto es que se ha dicho en más de una ocasión que no es el nombre final.
Si recordamos, no sucedió lo mismo con Game cube, que al principio se iba a llamar dolphin o Star cube, pero los susodichos nombres no llegaron a cuajar, a diferencia de Rev, que parece haber gustado.
Creo que es probable que lo dejen tal cual, o, en caso de que lo cambien, lo incluirá como coletilla. Vamos, ahora que ya la conoce casi tol mundo por ese nombre..., no tendría sentido poner otro.