Did so and it worked. Thanks Jeff and Sam for your input.
Yep, I realise, but it wasn’t the case. The disk got full 100% – I think because of the manipulation with the backup file (copying, then unzipping, so effectively tripling the original backup size).