This is good work!  I love reading their posts on scale like this.

It’s wild to me that the Linux kernel has (apparently) never implemented shrinking the receive window, or handling the case of userspace starting a large transfer and then just not ever reading it…  the latter is less surprising, I guess, because that’s an application bug that you probably would catch separately, and would be focused on fixing in the application layer…

-Aaron