switch to themuppets

They finally merge it to at least the same repo