On: Nimrod is being renamed to Nim

[Crito]

Hardly an important distinction for these intents and purposes; particularly since those stories were widely taught as fact until fairly recently.