2 ms·

I still don't know the exact command. I just use wcurl if I need to curl a file, but muscle memory still dictates wget most of the time.