I agree!
Only proposed change is to refer XPath 1.0 instead (for consistency): https://www.w3.org/TR/1999/REC-xpath-19991116/#function-normalize-space (I'm assuming it has remained unchanged in 2.0).
(P.S. this function is already accidentally supported in Enketo but it has been a secret until now)