Nome do plugin é 'discourse-topic-voting', mas o diretório do plugin é chamado '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