intrigeri: > While I'm at it, we wanted to ask whether it is reasonable for Tails
> to ship with IsolateDestAddr enabled by default (but for the web
> browser) as described in our plans, or if it is doomed to put too high
> a load on the Tor network. (Not that there are thaaaat many Tails
> users, and I guess these options were not added in order not to be
> used, but still.)