r0ml on Knuth on Web