The petition was filed under Texas House Bill 17, which allows for the removal of a district attorney for "official ...