chore(examples): reserve extraction folder for auto-generated files#1754

clementblaudeau merged 3 commits intomaincryspen/hax:mainfrom

alex/only-extraction-in-extractioncryspen/hax:alex/only-extraction-in-extractionCopy head branch name to clipboard