tidy eats <OPTION>text</OPTION>

There appears to be a problem with tidy in that it discards any text after
an <OPTION> tag.  Also, it doesn't allow you to include an </OPTION> tag.
Here is an example HTML file: (See attached file: testoption.htm)which gave
the errors: (See attached file: File.txt)Thanks for considering this:

Larry Cousin
3M Health Information Systems