remove TheMuppets/proprietary_vendor_htc due to DMCA takedown