Normalizes the whitespace in the given text according to HTML rules.
See Implementation
Added March 25, 2022 (dub v10.8)
The stripLeadingAndTrailing argument was added September 13, 2024 (dub v11.6).
Normalizes the whitespace in the given text according to HTML rules.