Comment by jacquesm

Gah I hate it when people delete comments and then repost them elsewhere in the thread.

I wrote a longish answer to your comment here:

https://news.ycombinator.com/item?id=8295469