Suggesting Changes on GitHub

From the page I linked to:

It would be nice if a person could suggest the exact change in a comment. And that the maintainer could accept the change with a click or two. Well good news, there is! GitHub has a suggested Changes feature that does this. It’s been around since October 2018, but is still not that well-known.

To use it, go to the Files changed tab of a pull request. When you hover over the line you want to fix, a blue box with a plus sign appears near the gutter on the left. Click that ...