There's a typo in the docs, as mentioned in the title. Please see the diff.
If you have permissions on the repo, no need for a review for such change!
In D60050#1449392, @sylvestre.ledru wrote: If you have permissions on the repo, no need for a review for such change!
I do not, so if someone could please commit for me, that'd be great. Thanks!