What's that second file with an all-uppercase filename?
It's "Mystic Realm: Community Edition for Servers". Yeah, a mouthful, I know. It's the entire MRCE level lineup, but without any of the fancy HUD or gameplay modifications (rebound dash, momentum, etc). It's used for server hosting or for those who want a more vanilla experience, though I recommend the first file as it is the full intended experience.