.TeX Changes we Discussed