'stretch' missing from debian pulldown box
A user on irc says:
Hi. I use Debian testing (stretch). At
https://www.torproject.org/docs/debian.html.en, there's a drop-down menu
which offers a bunch of Debian versions but not mine; however,
http://deb.torproject.org/torproject.org/dists/stretch/ does exist and
therefore should probably be in the drop-down.
```}
Looks like a thing worth fixing to me. Weasel, is there something I'm missing, or should we just fix it? (What's the right string to describe stretch?)