プラグイン名は「discourse-topic-voting」ですが、プラグインディレクトリは「discourse-voting」という名前です

[Jagster (Jakke Lehtonen)]

Is that more than just a cosmetic thing? Asking it only because there is another plugins too — or was, because it was a while ago when I had enough energy to follow feed of rebuilding