(Btw if the post you mentioned upthread was https://news.ycombinator.com/item?id=42605251, it got flagged by users. I don't think any moderators saw it. Same for https://news.ycombinator.com/item?id=42604924.)