¡Ah! Eso ayuda. PR enviada.
Soy fan de publicar la documentación en GitHub. Es bastante más trabajo enviar cambios que editar una publicación de wiki, pero el paso de revisión es útil. (Y para la documentación de autores de complementos, requerir conocimientos de Git no es una barrera tan alta.)