Nous en avons aussi discuté en interne, et il y a effectivement des personnes qui partagent la préoccupation que boards pourrait causer une certaine confusion, mais dans l’ensemble, je pense toujours que c’est le bon compromis.
Nous avons une PR ouverte ici pour fusionner le plugin dans le cœur comme plugin de cœur, avec le nouveau nom :
https://github.com/discourse/discourse/pull/43056
Nous prévoyons de la fusionner dans la journée à venir.