Re: [tor-dev] First-time tails/tor user feedback