Thanks a lot for the tip! I actually started by reaching out to the developer, but he remains completely anonymous—no one really knows who he is. I tried contacting him via Twitter, but I didn’t get a response. I’ll give it another shot and see if there’s any other platform where he might be reachable.