Sorry, your reply coincided with my editing that out. I saw another comment in in this subthread https://news.ycombinator.com/item?id=34140409 https://news.ycom

Sorry, your reply coincided with my editing that out. I saw another comment in in this subthread https://news.ycombinator.com/item?id=34140409 https://news.ycombinator.com/item?id=34140409 that indeed pointed that out already and then edited my post just before you replied.