Make some clarifications and corrections based on comments from Guido.
Fix a few markup nits.
Work around a LaTeX2HTML nuisance.
1 file changed