I see no good reason for it to be in namespaces.v. The old one that got removed in e09f7ce3 was in coPset.v as well.
namespaces.v
coPset.v