Re: [RFC] Qualified module renamings