Aha! I forgot that I use
The Unarchiver as a replace-all for the built-in Archive Utility. Indeed, Archive Utility "detects" that level.dat itself is actually zipped and does the "helpful" thing and expands it too. Bad Archive Utility. Bad!
I've replaced the link with another zip that should be okay to use with Archive Utility.