Extension:Namespace manager