Yeah, I was thinking that might be the case. Also, it seems like they're auto-generating a ton of it server-side and then spitting out the client-side code, maybe? Not sure. I'm guessing they're using some kind of hand-spun dev tool. Would love to learn more about it.