Grazie! Per la cronaca, ho iniziato a personalizzare Tag Icons ieri sera e sono riuscito a farlo funzionare! 
Per pura curiosità, però, il metodo di sovrascrittura dei file del plugin che ho descritto avrebbe dovuto funzionare anch’esso? (In tal caso, hai qualche idea su cosa stessi sbagliando?)