I very briefly looked at the website. One of the developer tools looks a whole lot like the Remix editor. I haven't read enough to really know anything about anything, but I'm sure that your continued posting will remind me to really research it when I get some time.