This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Starting in section 4.12.1, the spec uses the term "Module URI" without defining it.
The WG has decided to eliminate the term Module URI and replace it with "target namespace of a module".
The spec still has several occurrences of "module URI".
Fixed now. Will appear in next HTML build.