Also optimize the encoding of known header values