To add: at the time that original story was posted I left this comment[0] explaining what I believe he was seeing He was asked to ping tor-security or file an

To add: at the time that original story was posted I left this comment[0] explaining what I believe he was seeing He was asked to ping tor-security or file an issue and never did, afaik - nor was it ever really seriously discussed [0] https://news.ycombinator.com/item?id=14281434 https://news.ycombinator.com/item?id=14281434