(this and Urgo's comments were posted to https://news.ycombinator.com/item?id=48377493 https://news.ycombinator.com/item?id=48377493 a week ago, but since that

(this and Urgo's comments were posted to https://news.ycombinator.com/item?id=48377493 https://news.ycombinator.com/item?id=48377493 a week ago, but since that thread didn't get much attention, I've moved them hither)