[tor-project] May 2017 Report for the Tor Browser Team