The Wall Street Journal: Pinterest agrees to $22.5 million settlement in gender discrimination case