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