Ah! Das hilft weiter. Pull-Request eingereicht.
Ich bin ein Fan davon, Dokumentation auf GitHub zu veröffentlichen. Es ist zwar etwas aufwendiger, Änderungen einzureichen, als einen Wiki-Beitrag zu bearbeiten, aber der Prüfungsschritt ist hilfreich. (Und für die Dokumentation von Plugin-Autoren ist die Voraussetzung, Git zu beherrschen, keine besonders hohe Hürde.)