Ah! That helps. PR submitted.
I’m a fan of putting documentation on GitHub. It’s quite a bit more work to submit changes than editing a wiki post, but the review step is helpful. (And for plugin author documentation, requiring knowledge of Git isn’t that high a bar.)