Documenting a fascinating bug in some TCP stacks