3 ms·

Already posted 4 days ago: https://news.ycombinator.com/item?id=35835787 https://news.ycombinator.com/item?id=35835787

• mk67 3y ago
  Sorry, I wasn't aware. Would it maybe be possible to merge the threads?
• dang 3y ago
  Comments moved thither. Thanks!