[mhuffman]

In either case, I am just happy that Knuth's idea of Literate programming is becoming more and more of a common reality after so many years.