Edit stdlib flags for stage0 update, refactor to get Verso doc comments, and add a test
This is the repository for Lean 4.
See Install Lean.
Please read our Contribution Guidelines first.
See Building Lean.
