[PATCH] denser delta header encoding