Fix #13223. Re-allow leading space in HTML.