Are you sure they didn't use UDP? It seems like the kernel flow control in TCP would interact badly with LEDBAT