I talked to Dave Miller and he thinks that we should have TCP_NODELAY