docs/xml: change default for "mangled names" to "illegal"