The tech billionaire had complained that some Reddit users were advocating violence against his staff.