I am just stating what is knowledge, after the fact. It wasn’t common knowledge at the time, obviously. Else we would have exited too. But now it is plastered all over the internet so my point was - there is no need to create a thread here to ask if Do knows it