extnamespace means something altogether different in this context.
Mostly by accident, this coding error (introduced in my commit
82a4a777) broke the buildfarm instead
of just silently doing the wrong thing.