chore: Update index.md (#3910)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*



## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.

# PR Checklist\*

- [ ] I have tested the changes locally.
- [ ] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

docs/docs/index.md

@@ -24,12 +24,13 @@ sidebar_position: 0
 
 Noir, a domain-specific language crafted for SNARK proving systems, stands out with its simplicity, flexibility,
 and robust capabilities. Unlike conventional approaches that compile directly to a fixed NP-complete language,
-Noir takes a two-pronged path. It first compiles to an adaptable intermediate language known as ACIR. From there,
-depending on the project's needs, ACIR can be further compiled into an arithmetic circuit for integration with Aztec's
-barretenberg backend or transformed into a rank-1 constraint system suitable for R1CS backends like Arkworks' Marlin
-backend, among others.
+Noir takes a two-pronged path. First, Noir compiles to an adaptable intermediate language known as ACIR. 
 
-This innovative design introduces unique challenges, yet it strategically separates the programming language from the
+From there, depending on a given project's needs, ACIR can be further compiled into an arithmetic circuit for integration with Aztec's
+barretenberg backend, or transformed into a rank-1 constraint system suitable for R1CS backends like Arkworks' Marlin
+backend (among others).
+
+This innovative design introduces unique challenges; however, this approach also strategically separates the programming language from the
 backend. Noir's approach echoes the modular philosophy of LLVM, offering developers a versatile toolkit for cryptographic
 programming.
 
@@ -61,7 +62,7 @@ within your projects.
 
 ## Libraries
 
-Noir does not currently have an official package manager. You can find a list of available Noir libraries in the
+Noir does not currently have an official package manager. You can find a list of some of the available Noir libraries in the
 [awesome-noir repo here](https://github.com/noir-lang/awesome-noir#libraries).
 
 Some libraries that are available today include: