Did I get “banned” from that thread, or what? ;)
It has magically disapeared — although it still appears on the main page.