That RFC is older than me. I've spent the last few years working full time on TCP at a CDN. Giant, shoulders, et al. Thanks!