and it feels a bit silly to "download" from a file:// url