Repo for stata .ado tex3pt