As I expected, the post got deleted, just now. Still, it remained on for a couple of hours.
Apparently somebody wakened the one who has control of the delete button, yelling
basher basher !