Ah! Questo aiuta. PR inviata.
Sono un sostenitore del posizionamento della documentazione su GitHub. Presentare le modifiche richiede un po’ più di lavoro rispetto alla modifica di un post su wiki, ma la fase di revisione è utile. (E per la documentazione degli autori di plugin, la richiesta di conoscenze su Git non è una barriera così alta.)