Why this portfolio manager sold Pinterest