Auto-translated
No, the original names are NewRandomMap 1, 3, and 4.
I simply packed them into a zip archive and uploaded them to the forum. Before that, I ran each one to check. It's strange.
Whatever
Heroist