I'm very sorry to come up with this request this late in the cycle,
but we should really upgrade Tor to its latest version. I had started
doing it a couple weeks ago but my package lacked a patch (because the
release doc hadn't been updated after we decided to include said
patch, gah). I resumed work on this today and according to our test
suite it works fine.
Alan, bertagaz: any taker?
Another pull request (for #9649) will follow later today.
In any case, I'll have to merge this before building the 1.4.1 ISO.
