20150711 tech.tech-news: Reddit interim CEO Pao resigns; Huffman regains CEO title