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

[David Alayachew]

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

> /sponsor

Lol, I love that the solution was just to hit it again.

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

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