Re: [tor-dev] GSoC 2017 - Project "Crash Reporter for Tor Browser"