5e2cc0f4b0
option work as described in the manual, not as another flood ping variant. Once discussed to death with: bde