4 ms·Ok; sorry for derailing the otherwise beautiful Knuth email thread.by enriquto 6y agoOk; sorry for derailing the otherwise beautiful Knuth email thread.