Please don't post summaries as comments - we want original conversation here. That applies to any kind of summary, really, but especially to generated ones (ht

Please don't post summaries as comments - we want original conversation here. That applies to any kind of summary, really, but especially to generated ones (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&query=by%3Adang%20%22generated%20comments%22&sort=byDate&type=comment https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...).