See my reply to dredmorbius (in another subthread): https://news.ycombinator.com/edit?id=29861689 https://news.ycombinator.com/edit?id=29861689 (I think there

See my reply to dredmorbius (in another subthread): https://news.ycombinator.com/edit?id=29861689 https://news.ycombinator.com/edit?id=29861689 (I think there is some automation to prevent duplicate content so I link to it instead.)