Comments moved to https://news.ycombinator.com/item?id=45767013, which was posted earlier.

(Sorry JumpCrisscross! Your many contributions are appreciated.)

undefined