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

(I think there is some automation to prevent duplicate content so I link to it instead.)