[tor-project] community team update, October 2018