[x86a]

using wget here does not make it more embarrassing as its user agent was almost certainly randomized to look like normal web traffic. Normal traffic downloading lots of 10MB files... well, yeah that's not great.