http header compression revisitted