Hey guys we commented on another thread from a few days ago about our tool Bismuth finding the bug (along with a sha of our reproducer script for proof) https://news.ycombinator.com/item?id=43489944

The reproducer is linked in the post.

After disclosing and having correspondence with Gerlof and from the post on the front page right now https://news.ycombinator.com/item?id=43518560

It looks like we did in fact nail it and I've just shared our write up above on how we got it.

thank you, I dont use atop but probably should check all my servers, I am gonna check my custom routers they may have it.