these examples are at various versions of the RISC Zero tools. Mnay users are very eager to use these with modern, ideally uniform versions. Are all demos going to be maintained? In any case the READMEs here should have a notice about this IMHO