Re: [tor-project] December 2018 User Feedback Summary