new english/tx source update (as pushed to tx)