wow, it is kinda unexpected that
both Mario and Donkey Kong started in the same game. and that in first Donkey Kong game, the main mario was the main character.
Hard to be unexpected for the many of us who lived it. It wasn't that long ago. I remember first seeing a ColecoVison, which shipped with Donkey Kong, and being amazed that, unlike on the Atari 2600, the home version of Donkey Kong actually looked very close to the arcade version.
https://news.ycombinator.com/newsguidelines.html
In general, the original title is preferred, and "How…" is acceptable.