I don't like the default, as it exposes an implementation detail as part of the xsd. We might change the name of the module, etc. Instead, how about the documentation change I suggest below: