社内でもさらに議論を重ねており、boards という名称が一定の混乱を招くという懸念を共有するメンバーも確かにいます。しかし、全体的に見れば、それでもなおこれが適切なトレードオフだと考えています。
新しい名称でプラグインをコアに統合し、コアプラグインとしてマージするための PR をここで公開しています：
今後1日ほどでマージする予定です。