Solves #324.

Make clear that "Huffman codes for responses" also apply to push
promises.