Google fixes nearly decade-old Linux kernel TCP bug
Remember that TCP is robust enough that it seems to work anyhow - even at the cost of reduced network throughput in this case.That to me sounds like this is not really a bug, but a performance enhancement; a bug would be something like corrupted/missing/extra data at the application level. Tuning the TCP algorithms beyond the basics is really more of an art.