Super hyped for this! Did not have the bandwidth to finish a dungeon back then so I'm at least looking forward to help by finding typos hahahaha. Happy to see you so passionate about this project because it is really cool!
I will reach out to you about joining a proof team!