Just out of curiosity: Will it be possible to edit the dungeons in the future?
I have no such plans. There are a few dungeon editors that can load these dungeons exported as JSON.