Merge upstream torbrowser-launcher into our copy, 2024Q4 edition

Some changes were merged upstream recently, which makes the corresponding pipeline fail, but some of these changes are not ready for production, so let's wait until at least upstream issue 23 is fixed.