RE: Empty <div> tags

It seems incorrect to prune the empty div in the following example:

<div>foo<div></div>bar</div>

which gets tidied to

<div>foobar</div>

The tidied version has a rather different meaning than the original.

(Tested with the Dec. 1, 2002 Tidy.)

-- 
Liam Quinn