in tools/registry.py [0:0]
def download(url): with urllib.request.urlopen(url) as response: return response.read()