Clean up some of the linting warnings and errors

[clayton-cornell]

PR Description

Clean up linting warnings and errors in the Alloy docs. Some issues (especially passive voice) remain in the various topics. It will take multiple passes to get the warnings/errors down to a manageable level.

Changes here include:

• Fix some spelling
• Add contractions
• Delete duplicate links
• Delete unused links
• Fix broken or incorrect links
• Fix up some of the passive voice and replace with more active statements
• Tidy up some of the markdown style
• Clean up some word use
• Replace smart quotes
• Remove trailing spaces
• Remove extra blank lines between elements
• Add missing trailing line at the end of the file
• Add missing language to codefences
• Add/remove spaces before/after codefences
• Add/remove spaces before/after lists
• Fix spacing/indentation
• Make bullets * for consistency
• Remove gerunds from headings
• Clean up use of let's and we
• Fix a spelling mistake in a file name and add an alias

Which issue(s) this PR fixes

Notes to the Reviewer

PR Checklist

• CHANGELOG.md updated
• Documentation added
• Tests updated
• Config converters updated

[clayton-cornell]

The linting cleanup isn't complete, but this PR is big enough as it is. Time for a review/merge.

[github-actions]

The backport to release/v1.5 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new branch
git switch --create backport-2155-to-release/v1.5 origin/release/v1.5
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x c27c8ac8eb0edb46a7101f323ef9e65c33b998c6
# Push it to GitHub
git push --set-upstream origin backport-2155-to-release/v1.5
git switch main
# Remove the local backport branch
git branch -D backport-2155-to-release/v1.5

Then, create a pull request where the base branch is release/v1.5 and the compare/head branch is backport-2155-to-release/v1.5.