Fix minor typos in docs

[rschwarz]

No description provided.

[rschwarz]

By the way, reading the docs I had the initial impression that solving the model via optimize! is a prerequisite step before calling any of the analyzers, but I guess this is only true for the feasibility analysis?

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.42%. Comparing base (682d4b7) to head (2d2e745).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #42   +/-   ##
=======================================
  Coverage   98.42%   98.42%           
=======================================
  Files          13       13           
  Lines        1396     1396           
=======================================
  Hits         1374     1374           
  Misses         22       22           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.