Avoid HTMLSpaceCharSplits iter as suggested by SimonSapin