[tor-project] September 2018 report for the Tor Browser team