Thomas Esser's distribution of TeX & friends