Currently white space is condensed in HTML text nodes, unless those belong to a `pre` tag. The problem with that heuristic is that using CSS, every tag can act like a `pre` tag (`white-space: pre`, or `white-space: pre-wrap`).
Currently white space is condensed in HTML text nodes, unless those belong to a
pretag.The problem with that heuristic is that using CSS, every tag can act like a
pretag (white-space: pre, orwhite-space: pre-wrap).