[tug-summer-of-code] Simplifying TeX's \tracingall output

[Arthur Reutenauer]

> texdoc trace

  Hey, that was pretty good for something I remembered from half a dozen
years ago :-)  I didn't even know Frank at the time (not that I know him
very well now, apart from trying to bribe him with a 50 euro note in
Cork).

	Arthur