Yes, 25% of my own TFIA account is PTXTEN.
Of course, this only applies to local property, as foreign property ETFs (such as GLPROP) have almost no tax savings (other than capital gains).
My GLPROP is outside my TFIA at the moment. As you have suggested, it's still prudent to be diversified elsewhere.
Pretty much, for me, my local ETFs are in my TFIA and my foreign ones outside of it.