You can download the map if you have exported it to HTML5 and sent it to the publishing server with the download option enabled.
I don't think there is a way to enable the download option when exporting a map to a local HTML5 file. It is the publishing server that holds a copy of the original map. There is also no import from raw HTML that I am aware of.
Or whether the MingManager can convert a HTML5 files into a map files?How do I get the original map file from an html5 file when I don't have it?
Since there is no import .... you could recreate it in your mindmanager software.
better if there was such a feature later;