I came up with a list of names for the game tool (and this company, I suppose) and the only one that got more than a single vote was RetroGami. So here we are! When hunting for domains, somehow the retrogami.com domain name was already taken?! Domains have gotten a lot more confusing and expensive than when I first did this stuff 25 years ago. I ended up buying .dev, .space, and .quest, so I've got some options.
Next is making the editor export something usable for publishing.