Anche internamente ne abbiamo discusso, e ci sono sicuramente persone che condividono la preoccupazione che boards possa creare un po’ di confusione, ma nel complesso ritengo ancora che sia il compromesso giusto.
Abbiamo una PR aperta qui per integrare il plugin nel core come plugin di core, con il nuovo nome:
https://github.com/discourse/discourse/pull/43056
Pianifichiamo di unirla entro il prossimo giorno o due.