Re: [tor-dev] Triaged some TorCoreTeam201508 tickets; please review