docs: def uri2module(self, uri):
          """Convert an unencoded source uri to an encoded module name"""
          module_name = uri.replace('.', '&#DOT')
          module_name = module_name.replace(os.sep, '&#SEP')
          return self.module_prefix + module_name