Reddit’s ex-CEO supports banning online harassment that harms people in real life