we mess in the users’ namespaces in this file. there’s no good way around it. i don’t think it’s too egregious though.