Auto-translated
Guys, check this out:smile43: A guy from Google (mamaich) managed to extract the map editor from the game and uploaded it:
http://www.multiupload.com/6MZ57ANGK6 The only problem is that the editor doesn't save maps.
----
Very interesting. Maps don't have to be square anymore, and you can edit their size yourself. And look what I found: all the bosses together :)