I had not, and that indeed gets back a nice chunk of space which will resolve my immediate problem.
Switching to using the --gzip option still seems a very good idea.
But at least I’ve put off doubling my monthly bill for another six months or more, so thanks.