[babylon-docs:master] RFR: Minor cleanup and nitpicks [v2]

[Paul Sandoz]

On Sun, 4 Feb 2024 10:15:21 GMT, David Alayachew <duke at openjdk.org> wrote:

>> This pull request just cleans up some typos and nitpicks here and there.
>
> David Alayachew has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update auto-diff.md

Thank you for the edits (the intention was to always copy code from the test classes, but somehow they got out of sync as if often the case when taking short cuts)

-------------

PR Comment: https://git.openjdk.org/babylon-docs/pull/2#issuecomment-1927590325