Web Urls

WebUrls represent resources that are accessible on the web. They provide implementations of Url.get_resource() that will download a file from the web and store it in the file cache, returning a new Url object pointing to the downloaded file.