I think we'd have http header compression regardless of packet size. Headers usually make up the majority of an http request. It makes sense to compress that.

Though we actually have 9k jumbo frames, which work quite well for bulk data transfer (over fast links).

That's a romantic way to look at technical debt! :-P