Header Folding: How Multi-Line Email Headers Work