Comments moved thither. Thanks!

p.s. @dang doesn't work; I only saw this randomly. The only way to message us reliably is hn@ycombinator.com.