What do we do if SETI is successful? | Hacker News Reader