I made that choice because the original release was a European one, so I was basing the default on the initial release of the game. That made sense to me. I can change it if the preference is to always display the North American name rather than privilege the original release. To be honest I don’t know why we would chose a title for a game based on region if there is another title that precedes that version based on release schedule, thus I am inclined to title the game by the original name based on the initial release (translations may be an exception). You make a good point about Mario Strikers, but that one is also complicated by the fact that the Japanese and North American versions are both called Mario Strikers. I suppose in that instance it make sense to go with the most universally used title.
I suppose ultimately this one is up to @peter. If he thinks we should privilege the NA name over the initial release name, I’ll swap the default.