chiark / gitweb /
doc/output.tex: Add the `user' and `early-user' output items to comment.