When was Nimrod renamed to Nim?

[god]

[http://redmonk.com/sogrady/2017/06/08/language-rankings-6-17](http://redmonk.com/sogrady/2017/06/08/language-rankings-6-17)/