As is required by the HTML Standard.
<rdar://problem/107926196>
Pull request: https://github.com/WebKit/WebKit/pull/12645
Committed 262879@main (2ca55a3e19df): <https://commits.webkit.org/262879@main> Reviewed commits have been landed. Closing PR #12645 and removing active labels.
It would have been nice to hold off on landing this until the mail thread discussion about spaces was resolved. Alternatively, this could have landed without the spacing changes. However, landing the spacing changes when there are clear objections on the mailing list is unfortunate.