Patches for a couple of doc bugs in Bugzilla

[David T.]

I wanted to let folks on Devel know that I had uploaded patches for three documentation bugs: 692961, 744182, and 744065 (I incorporated this bug into some broader changes in a new bug, 754136). I hope that I have used Git in a Gitly kind of way, and that the patches will load properly. I also hope that the changes will meet with others’ approval.

David