On Thu, 20 Jun 2019 16:31:34 +1000 teor teor@riseup.net wrote:
If you add tor-experimental-0.4.0.x-stretch, then you will upgrade to 0.4.0 now.
If you keep the stretch line, you will automatically stay with the latest version, even when tor-experimental-0.4.0.x-stretch goes away.
We haven't updated the tor versions on this web page, either. But we'll get there: https://2019.www.torproject.org/docs/debian.html.en
I hope you can update the version in Debian's own repo as well. The metrics website says 0.3.5.7 is not recommended, but stretch-backports doesn't have anything newer: https://packages.debian.org/search?keywords=tor