Tor Browser 9.0.2 not available in https://dist.torproject.org/torbrowser/

[DrGFreeman]

Description

Tor Browser version 9.0.2 is not available anymore in https://dist.torproject.org/torbrowser/ which prevents launching the development container.

Steps to Reproduce

Run make dev or any command that requires the development container.

Expected Behavior

Container launches normally.

Actual Behavior

404 error is returned when trying to get Tor Browser 9.0.2:

--2020-01-14 00:46:17--  https://www.torproject.org/dist/torbrowser/9.0.2/tor-browser-linux64-9.0.2_en-US.tar.xz
Resolving www.torproject.org (www.torproject.org)... 95.216.163.36, 116.202.120.165
Connecting to www.torproject.org (www.torproject.org)|95.216.163.36|:443... connected.
HTTP request sent, awaiting response... 302 Found
Location: https://dist.torproject.org/torbrowser/9.0.2/tor-browser-linux64-9.0.2_en-US.tar.xz [following]
--2020-01-14 00:46:18--  https://dist.torproject.org/torbrowser/9.0.2/tor-browser-linux64-9.0.2_en-US.tar.xz
Resolving dist.torproject.org (dist.torproject.org)... 116.202.120.165, 94.130.28.204, 38.229.72.19, ...
Connecting to dist.torproject.org (dist.torproject.org)|116.202.120.165|:443... connected.
HTTP request sent, awaiting response... 404 Not Found
2020-01-14 00:46:18 ERROR 404: Not Found.

Comments

Was updated to 9.0.2 via #5089 only a few day ago.

Newest available version is apparently 9.0.4.

Also, as per above traceback, it seems that https://www.torproject.org/dist/ now redirects to https://dist.torproject.org/ so the opportunity could be taken to update the Dockerfile accordingly.