A solução dele funciona, mas não a considero uma opção válida, nenhum usuário estaria disposto a fazer tudo isso apenas para adicionar um plugin. Eu só queria saber se alguém poderia pensar em uma abordagem melhor (o mais próximo possível de apenas adicionar o repositório e pronto). como o próprio @fzngagan disse:
Eu adoraria se houvesse uma solução mais direta.