Txrepo extensions