On Tue, Jun 18, 2019 at 08:21:38PM +0200, Paul Gevers wrote: > Can you ask somebody else to upload it then? No.