Tor Browser release process: bring back the improvement I made yesterday in commit:d97b8303, that was since overwritten by mistake with commit:2b205d5c.