Gosh, I haven't heard the term "human-readable TeX" mentioned in years.. That goes back to the mid 90s doesn't it? I think the guys at the University of Linz came up with it when they were doing the Labrador LaTeX-Marburg translator. Great to hear someone is actually using it :)
