As far as I know, the maps are not made by the developers, but procedurally generated. From what I understood, that means that no 2 maps will have the same outcome (unless they include seeds in the map generation)
Don’t know about the map editor though.
