See: https://github.com/Jelly-RDF/pyjelly/actions/runs/16320291445/job/46096720969#step:5:47 We get a 1000-line log of the thing being downloaded, which is not useful. Can we make wget emit the progress, say, once a second, at most?