code: def unwrap(url):
      
      url = str(url).strip()
      if url[:1] == '<' and url[-1:] == '>':
          url = url[1:-1].strip()
      if url[:4] == 'URL:': url = url[4:].strip()
      return url
docs: unwrap('<URL:type://host/path>') --> 'type://host/path'.