Merge pull request #4249 from mtzguido/lf

FStarDev.md: LF line endings

Author: mtzguido

.github/agents/FStarDev.md

@@ -372,9 +372,9 @@ analysis.
 
 ### 4. Stage 0 Too Old
 If stage 0 cannot check current `src/` due to new language features,
-you need to 1) add support for the new language feature to `src`
-2) bump stage0 using `./.scripts/bump-stage0-from-stage1.sh`
-so that 3) you can use the new feature in `src`.
+you need to 1) add support for the new language feature to `src`
+2) bump stage0 using `./.scripts/bump-stage0-from-stage1.sh`
+so that 3) you can use the new feature in `src`.
 
 ### 5. OCaml Environment Issues
 The build expects an opam environment with the right packages. Use:
@@ -436,7 +436,7 @@ git submodule update --init karamel
 - **Run `make boot-diff`** before committing major changes to verify
   the compiler is a fixed point.
 - **Do not edit files in `stage0/` directly** — it is a generated
-  snapshot. Use `make bump-stage0` to update it.
+  snapshot. Use `make bump-stage0` to update it.
 - **Do not edit extracted `.ml` files** in `stage1/`, `stage2/`, or
   `stage3/` — they are generated by extraction.
 - **Test with `--proof_recovery`** when testing against downstream