Fixes for Documentation Errors

[mdqst]

Description

This pull request addresses several documentation errors across different files. Each error has been identified and corrected to improve the clarity and accuracy of the documentation.

1. Fix double slash in the link to unconstrained functions

• File: docs/docs/explainers/explainer-oracle.md
• Issue: There was a double slash // in the link to unconstrained.md in the Use cases section.
• Correction: The link now uses a single slash.

• Importance: Correcting this ensures the link functions properly and leads to the intended document without causing any navigation issues.

  Before:
  [unconstrained functions](../noir/concepts//unconstrained.md)

  After:
  [unconstrained functions](../noir/concepts/unconstrained.md)

2. Grammar correction for verb tense

• File: docs/docs/explainers/explainer-writing-noir.md
• Issue: In the section "Context - 'Efficient' is subjective", the sentence contained an incorrect verb form: "execute" should be "executed".
• Correction: The correct form of the verb is now used.

• Importance: The correction improves the sentence's grammatical accuracy, ensuring the documentation is clear and professional.

  Before:
  And these constraints differ depending on where the compiled code is execute.

  After:
  And these constraints differ depending on where the compiled code is executed.

3. Capitalization of step number

• File: docs/docs/getting_started/noir_installation.md
• Issue: In the "Installation on Windows" section, "step 2" was incorrectly written in lowercase, while "Step 1" was correctly capitalized.
• Correction: "step 2" has been capitalized to maintain consistency with the formatting of other steps.

• Importance: This small but important fix improves the visual consistency of the document and ensures clarity for users following the instructions.

  Before:
  step 2: Follow the Noirup instructions.

  After:
  Step 2: Follow the Noirup instructions.

4. Remove extra backtick in Zsh completion section

• File: docs/docs/getting_started/setting_up_shell_completions.md
• Issue: There was an extra backtick at the end of the line in the "Installing Zsh Completions" section.
• Correction: The extra backtick has been removed to correct the command formatting.

• Importance: This correction ensures that the command is correctly formatted and can be used without errors, improving the user experience.

  Before:
  `bash mkdir -p ~/.oh-my-zsh/completions``

  After:
  bash mkdir -p ~/.oh-my-zsh/completions

5. Grammar correction for plural form of "unconstrained function"

• File: docs/docs/how_to/how-to-oracles.md
• Issue: The term "unconstrained functions" was incorrectly used in the sentence referring to a singular method.
• Correction: The phrase has been corrected to use "unconstrained function" to match the singular subject.

• Importance: This change ensures that the terminology is grammatically correct and accurately reflects the subject of the sentence.

  Before:
  An unconstrained method - This tells the compiler that it is executing an [unconstrained functions](../noir/concepts//unconstrained.md).

  After:
  An unconstrained method - This tells the compiler that it is executing an [unconstrained function](../noir/concepts/unconstrained.md).

---

These corrections are important to ensure that the documentation is clear, precise, and free of errors, contributing to a better experience for developers and users interacting with the materials.

Documentation*

Check one:

• [x] No documentation needed.
• [x] Documentation included in this PR.
• [ ] [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• [x] I have tested the changes locally.
• [x] I have formatted the changes with Prettier and/or cargo fmt on default settings.

[github-actions[bot]]

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.