If Elon Musk was buying Reddit, what would Steve Huffman do?