<meta http-equiv="Content-Type" content="text/html; charset=GB18030"><div>Lines 1593--4 of webman.tex duplicate the word "that". Sorry for failing to catch this.</div><div><br></div><div>(If you have Linux, you may want to grep knuth-dist for more typos of this kind, something I'm unable to do on my Windows machine.)</div>