+Repository head::
+ Update the dungeon maker to avoid a deprecation die to security issues
+
+1.8: 2019-04-19::
+ Minor typo and capitalization glitches in user-visible text fixed & documented.
+ Save format has changed.
+
+1.7: 2018-12-03::
+ Python 3 and OS X port fixes.
+
+1.6: 2018-11-15::