2 ms·

Thank you for this information. I often prefer to use curl or wget to download files, so this is helpful to know.