You're talking about two different things. Language= NOHTML works
the way Paul described it. What you are talking about are the HTML
and NOHTML user options, which indeed only toggle the digest/index
format. It's potentially confusing but there is a difference.
Nathan