Normalizes the whitespace in the given text according to HTML rules.
Added March 25, 2022 (dub v10.8)
Normalizes the whitespace in the given text according to HTML rules.