Comment by susam

Yes, this is a duplicate post created by a new account who seems to have copied my post from <https://lobste.rs/s/hjipba>. I have emailed the moderators to ask if they can mark this as duplicate and merge the comments here into the other thread.

Also discussed here: https://news.ycombinator.com/item?id=47427858