Thanks, I'll be sure to look into that.
By now it's probably easier to look at the git repo of Ero Dungeons (link is in the Discord).