Yardanico Tue, 13 Jun 2023 03:45:05 -0700
Already discussed in <https://forum.nim-lang.org/t/10159>.
And it's Nim, not NIM (it's NOT an abbreviation!!!)