Ah! Isso ajuda. PR enviado.
Sou fã de colocar documentação no GitHub. Enviar alterações dá bastante mais trabalho do que editar uma postagem de wiki, mas a etapa de revisão é útil. (E, para a documentação de autores de plugins, exigir conhecimento de Git não é um obstáculo tão alto.)