Different approach to the header charset problem. No encoding is done at this level now. Rev: server/protocols/http.pike:1.474