The first Lean codeblock is corrupted and contains document parts from above the codeblock. <img width="1146" height="1128" alt="Image" src="https://github.com/user-attachments/assets/6e209171-7a93-412b-816b-138d2ea40cb7" /> **Reproduction** - Checkout verso-templates v4.31.0 - Open `verso-templates\blog-features\blog` - Comment out `-- import Blog.Posts.Comparison` and `-- Blog.Posts.Comparison` in `Posts.lean` and `Main.lean`. - Run `lake build` - Run `lake exe generate-blog` - Run `py -m http.server -d _site` and view the http://localhost:8000/blog/2025-7-19-making-fibonacci-fast-and-proving-its-correct/
The first Lean codeblock is corrupted and contains document parts from above the codeblock.
Reproduction
verso-templates\blog-features\blog-- import Blog.Posts.Comparisonand-- Blog.Posts.ComparisoninPosts.leanandMain.lean.lake buildlake exe generate-blogpy -m http.server -d _siteand view the http://localhost:8000/blog/2025-7-19-making-fibonacci-fast-and-proving-its-correct/