The Trail of Bits extensions repo hasn't been maintained in a while, I don't think we mind if it is pushed off